DES tools: Porovnání verzí
Z ApolloWiki
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 3: | Řádek 3: | ||
===Plug-ins for [https://www.fgdes.tf.fau.de/faudes/ libFAUDES]=== |
===Plug-ins for [https://www.fgdes.tf.fau.de/faudes/ libFAUDES]=== |
||
# [[Media:Piecewise-testability-libFAUDES-plugin.tar.gz|Piecewise testability]] (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc, 2021) |
# [[Media:Piecewise-testability-libFAUDES-plugin.tar.gz|Piecewise testability]] (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc, 2021) |
||
# [[Media:Relative-observability-libFAUDES-plugin.zip|Relative observability]] (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno, 2018) |
# [[Media:Relative-observability-libFAUDES-plugin.zip|Relative observability]] (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno, 2018, [[Media:MarianPochybaBakalarskaPraca.pdf|thesis]] (in czech).) |
||
# Coordination control plug-in (already part of libFAUDES) |
# Coordination control plug-in (already part of libFAUDES) |
Verze z 16. 9. 2021, 10:34
The list of tools created by the group members and students.
Plug-ins for libFAUDES
- Piecewise testability (by Eliška Foltasová, Faculty of Science, Palacky University, Olomouc, 2021)
- Relative observability (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno, 2018, thesis (in czech).)
- Coordination control plug-in (already part of libFAUDES)