DES tools

Z ApolloWiki
Verze z 16. 9. 2021, 10:37, kterou vytvořil Masopust (diskuse | příspěvky)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Přejít na:navigace, hledání

The list of tools created by the group members and students.

Plug-ins for libFAUDES

  1. Piecewise testability (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc, 2021, thesis (in czech).)
  2. Relative observability (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno, 2018, thesis (in czech).)
  3. Coordination control plug-in (already part of libFAUDES)
Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=DES_tools&oldid=317“