Personensuche
X
?
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems ,
11
Formal Verification of a Mechanical Ventilator using UPPAAL:
, In:
?
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ,
13