Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements

Mischa Möstl, Johannes Schlatow, Rolf Ernst. Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2824-2834, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.