Runtime Visualization and Verification in JIVE.
Gespeichert in:
| Titel: | Runtime Visualization and Verification in JIVE. |
|---|---|
| Autoren: | Ziarek, Lukasz, Jayaraman, Bharat, Lessa, Demian, Swaminathan, J. |
| Quelle: | Runtime Verification (9783319469812); 2016, p493-497, 5p |
| Datenbank: | Complementary Index |
| ISBN: | 9783319469812 |
|---|---|
| DOI: | 10.1007/978-3-319-46982-9_33 |