Runtime Visualization and Verification in JIVE.
Uloženo v:
| Název: | Runtime Visualization and Verification in JIVE. |
|---|---|
| Autoři: | Ziarek, Lukasz, Jayaraman, Bharat, Lessa, Demian, Swaminathan, J. |
| Zdroj: | Runtime Verification (9783319469812); 2016, p493-497, 5p |
| Databáze: | Complementary Index |
Buďte první, kdo okomentuje tento záznam!