Quantitative system validation in model driven design.

Holger Hermanns, Kim Guldstrand Larsen, Jean-Franois Raskin, Jan Tretmans

Browse the full EMSOFT paper archive.