Introduction to the special issue on runtime verification

Bartocci, Ezio and Majumdar, Rupak
(2017) Introduction to the special issue on runtime verification.
Formal Methods in System Design, 51 (1). 1–4.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/s10703-017-0287-6

Actions

Actions (login required)

View Item View Item