↓ Skip to main content

Formal Methods for Industrial Critical Systems

Overview of attention for book
Attention for Chapter 2: Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
7 Mendeley