Blättern nach Person
 | Ebene hoch |
Springe zu: 2023
Anzahl der Einträge: 1.
2023
Basile, Davide ; Ter Beek, Maurice H ; Göttmann, Hendrik ; Lochau, Malte (2023)
Mutant Equivalence as Monotonicity in Parametric Timed Games.
11th International Conference on Formal Methods in Software Engineering. Melbourne, Australia (14.05.2023-15.05.2023)
doi: 10.1109/FormaliSE58978.2023.00014
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum