6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)
2024
Miscellaneous
Electronic Resource
English
Formal method , Security , Architecture , Tool , AI , Software engineering , Avionics , Systems engineering , Safety , qualification , Simulation , Formal verification , Certification , Process , FOS: Civil engineering , Requirement , Model-based , Platform , MBSE
4th Workshop on Avionics Systems and Software Engineering
DataCite | 2022
|Applying modern software engineering tools to avionics systems development
Tema Archive | 1981
|