DES tools: Porovnání verzí

Verze z 27. 8. 2021, 20:02

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

@@ Řádek 2: / Řádek 2: @@
 ===Plug-ins for [https://www.fgdes.tf.fau.de/faudes/ libFAUDES]===
-# [[Media:Relative-observability-libFAUDES-plugin.zip|Relative observability]] (by Marian Pochyba, Faculty of Informatics, Masaryk University, Brno, 2018)
 # 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]]