DES tools

Z ApolloWiki
Verze z 19. 8. 2021, 06:37, kterou vytvořil Masopust (diskuse | příspěvky) (Založena nová stránka s textem „The list of tools created by the group members and students. ===Plug-ins for [https://www.fgdes.tf.fau.de/faudes/ libFAUDES]=== # Relative observability (…“)
(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. Relative observability (by Marian Pochyba, FI MUNI Brno)
  2. Piecewise testability (by Eliška Foltasová, UP Olomouc)
Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=DES_tools&oldid=287“