DES tools: Porovnání verzí

Verze z 27. 8. 2021, 20:04

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

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)
Coordination control plug-in (already part of libFAUDES)

@@ Řádek 4: / Řádek 4: @@
 # 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:Coordination-control-libFAUDES-plugin.tar.gz|Coordination control]]
+# Coordination control plug-in (already part of libFAUDES)