Merkliste 
 1 Ergebnisse 
 
1

A Domain Specific Language for the ARINC 653 Specification:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),