Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
Unified LTL Verification and Embedded Execution of UML Models
MoDELS, 2018.
@inproceedings{MoDELS-2018-BesnardBJTD,
author = "Valentin Besnard and Matthias Brun and Frédéric Jouault and Ciprian Teodorov and Philippe Dhaussy",
booktitle = "{Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems}",
doi = "10.1145/3239372.3239395",
pages = "112--122",
publisher = "{ACM}",
title = "{Unified LTL Verification and Embedded Execution of UML Models}",
year = 2018,
}