Author:
Hähnle Reiner,Muschevici Radu
Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal modeling and analysis of railway operations with active objects;Science of Computer Programming;2018-11
2. Uniform Modeling of Railway Operations;Communications in Computer and Information Science;2017
3. A Unified and Formal Programming Model for Deltas and Traits;Fundamental Approaches to Software Engineering;2017
4. Introduction to the Track on Variability Modeling for Scalable Software Evolution;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016
5. Formal Methods and Safety Certification: Challenges in the Railways Domain;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016