Personensuche
X
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
2
Time for Networks: Mutation Testing for Timed Automata Netw..:
, In:
?
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems ,
4
Formal Verification of a Mechanical Ventilator using UPPAAL:
, In:
?
Human Systems Engineering and Design II; Advances in Intelligent Systems and Computing ,
13