Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica | 4 | 0.43 | 2015 |
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. | 1 | 0.35 | 2014 |
Teaching and Training Formal Methods for Safety Critical Systems | 1 | 0.36 | 2013 |
SAML goes eclipse: combining model-based safety analysis and high-level editor support | 5 | 0.49 | 2012 |
Unifying Probabilistic and Traditional Formal Model Based Analysis. | 0 | 0.34 | 2012 |
Using model-based analysis in certification of critical software-intensive systems. | 0 | 0.34 | 2012 |
Using Tool-Supported Model Based Safety Analysis -- Progress and Experiences in SAML Development | 7 | 0.51 | 2012 |
Multi-objective Optimization of Formal Specifications | 2 | 0.43 | 2012 |
Handlungsadaptive Produktionsassistenz. | 0 | 0.34 | 2012 |
Towards Making Dependability Visual -- Combining Model-Based Design and Virtual Realities | 0 | 0.34 | 2011 |
Tool Supported Model-Based Safety Analysis and Optimization | 1 | 0.41 | 2011 |