Virtual Verification of System Designs against System Requirements.

Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis

Browse the full MODELS paper archive.