Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
FASE, 2016.
@inproceedings{FASE-2016-DuranMA, author = "Francisco Durán and Antonio Moreno-Delgado and José M. Álvarez-Palomo", booktitle = "{Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/978-3-662-49665-7_18", isbn = "978-3-662-49664-0", pages = "305--322", publisher = "{Springer}", title = "{Statistical Model Checking of e-Motions Domain-Specific Modeling Languages}", year = 2016, }