A Logic Theory Pattern for Linearized Control Systems. | 0 | 0.34 | 2021 |
A Prototyping Process for Medical Devices and Systems. | 0 | 0.34 | 2021 |
Block-Based Models and Theorem Proving in Model-Based Development. | 0 | 0.34 | 2020 |
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems. | 0 | 0.34 | 2019 |
Using Process Algebras for the Semantic Analysis of Data Flow Networks. | 0 | 0.34 | 1995 |