von Hanxleden, Reinhard
-
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) - Articles
Model Extraction of Legacy C Code in SCCharts
Abstract PDF -
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 - Articles
Tool Support for System-Theoretic Process Analysis
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.