DES tools

Z ApolloWiki
Přejít na:navigace, hledání

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

Plug-ins for libFAUDES

  1. Relative observability (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno)
  2. Piecewise testability (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc)
Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=DES_tools&oldid=288“