Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Formal Methods for Safety and Security : Case Studies for Aerospace Applications
Formal methods for safety and security : case studies for aerospace applications
Formal methods for safety and security : case studies for aerospace applications