A Practical Application of UPPAAL and DTRON for Runtime Verification

Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Search results