DES tools: Porovnání verzí
Z ApolloWiki
(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 (…“) |
Bez shrnutí editace |
||
Řádek 2: | Řádek 2: | ||
===Plug-ins for [https://www.fgdes.tf.fau.de/faudes/ libFAUDES]=== |
===Plug-ins for [https://www.fgdes.tf.fau.de/faudes/ libFAUDES]=== |
||
# Relative observability (by Marian Pochyba, |
# Relative observability (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno) |
||
# Piecewise testability (by Eliška Foltasová, |
# Piecewise testability (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc) |
Verze z 19. 8. 2021, 07:32
The list of tools created by the group members and students.
Plug-ins for libFAUDES
- Relative observability (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno)
- Piecewise testability (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc)