A Practical Application of UPPAAL and DTRON for Runtime Verification

Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila

Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review

3 Citations (Scopus)
27 Downloads (Pure)

Search results