UPPAAL 4.0

By Gerd Behrmann, Alexandre David, Kim G. Larsen, John Håkansson, Paul Pettersson, Wang Yi, M. Hendriks. International Conference on Quantitative Evaluation of Systems, 2006

380 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Hardware and Architecture, Software

View Paper: https://www.semanticscholar.org/paper/d1f44144a8b6799a9f4a41dff6b3ed8252f43c82