Conformance Testing in UPPAAL: A diabolic approach

E. J. Njor, F. Lorber, N. I. Schmidt, S. R. Petersen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Fingerprint

Dive into the research topics of 'Conformance Testing in UPPAAL: A diabolic approach'. Together they form a unique fingerprint.

Computer Science