Search results for: Michael Paulitsch
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Non-functional Requirements in Embedded Systems > 369-384
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) > 6B4-1 - 6B4-12
2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) > 2B3-1 - 2B3-13