Statistical Model Checking of e-Motions Domain-Specific Modeling Languages.

Francisco Durn, Antonio Moreno-Delgado, Jos M. lvarez-Palomo

Browse the full FASE paper archive.