| emsoft | participants

Radu Grosu

Program Committees:
2016 and 2017
.

EMSOFT 2018: 18th International Conference on Embedded Software

An Algebraic Framework for Runtime Verification

Stefan Jakšić, Ezio Bartocci, Radu Grosu, and Dejan Ničković