Hui Zhao, Ludovic Apvrille, Frédéric Mallet. A Model-Based Combination Language for Scheduling Verification. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers. Volume 1161 of Communications in Computer and Information Science, pages 27-49, Springer, 2019. [doi]
@inproceedings{ZhaoAM19a,
title = {A Model-Based Combination Language for Scheduling Verification},
author = {Hui Zhao and Ludovic Apvrille and Frédéric Mallet},
year = {2019},
doi = {10.1007/978-3-030-37873-8_2},
url = {https://doi.org/10.1007/978-3-030-37873-8_2},
researchr = {https://researchr.org/publication/ZhaoAM19a},
cites = {0},
citedby = {0},
pages = {27-49},
booktitle = {Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers},
editor = {Slimane Hammoudi and Luís Ferreira Pires and Bran Selic},
volume = {1161},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-37873-8},
}