- Record: found
- Abstract: not found
- Book Chapter: not found
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Automated Verification of Embedded Control Software
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references8
- Record: found
- Abstract: not found
- Book Chapter: not found
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees
Hardi Hungar (2020)
- Record: found
- Abstract: not found
- Book Chapter: not found
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink
Timm Liebrenz, Paula Herber, Sabine Glesner (2020)
- Record: found
- Abstract: not found
- Book Chapter: not found
Formally Proving Compositionality in Industrial Systems with Informal Specifications
Mattias Nyberg, Jonas Westman, Dilian Gurov (2020)