Runtime Visualization and Verification in JIVE.

Gespeichert in:
Bibliographische Detailangaben
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
Beschreibung
ISBN:9783319469812
DOI:10.1007/978-3-319-46982-9_33