Author:
Huhn Michaela,Bessling Sara
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of a Mechanical Ventilator using UPPAAL;Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2023-10-18
2. Development of Critical Embedded Systems Using Model-Driven and Product Lines Techniques: A Systematic Review;2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse;2014-09
3. Towards Formal Safety Analysis in Feature-Oriented Product Line Development;Foundations of Health Information Engineering and Systems;2014