Alessandro Tempia Calvino, Ludovic Apvrille. Direct Model-checking of SysML Models. In Slimane Hammoudi, Luís Ferreira Pires, Edwin Seidewitz, Richard Soley, editors, Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021, Online Streaming, February 8-10, 2021. pages 216-223, SCITEPRESS, 2021. [doi]
@inproceedings{CalvinoA21,
title = {Direct Model-checking of SysML Models},
author = {Alessandro Tempia Calvino and Ludovic Apvrille},
year = {2021},
doi = {10.5220/0010256302160223},
url = {https://doi.org/10.5220/0010256302160223},
researchr = {https://researchr.org/publication/CalvinoA21},
cites = {0},
citedby = {0},
pages = {216-223},
booktitle = {Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021, Online Streaming, February 8-10, 2021},
editor = {Slimane Hammoudi and Luís Ferreira Pires and Edwin Seidewitz and Richard Soley},
publisher = {SCITEPRESS},
isbn = {978-989-758-487-9},
}