A Practical Application of UPPAAL and DTRON for Runtime Verification.
| Autor: | Truscan, Dragos, Ahmad, Tanwir, Siavashi, Faezeh, Tuuttila, Pekka |
|---|---|
| Zdroj: | 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research & Industrial Practice; 2015, p39-45, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|