State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.

Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans

Browse the full DATE paper archive.