Alan Burns 0001, Cliff B. Jones. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. In Martina Maggio, editor, 34th Euromicro Conference on Real-Time Systems, ECRTS 2022, July 5-8, 2022, Modena, Italy. Volume 231 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{0001J22-0,
title = {An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems},
author = {Alan Burns 0001 and Cliff B. Jones},
year = {2022},
doi = {10.4230/LIPIcs.ECRTS.2022.14},
url = {https://doi.org/10.4230/LIPIcs.ECRTS.2022.14},
researchr = {https://researchr.org/publication/0001J22-0},
cites = {0},
citedby = {0},
booktitle = {34th Euromicro Conference on Real-Time Systems, ECRTS 2022, July 5-8, 2022, Modena, Italy},
editor = {Martina Maggio},
volume = {231},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-239-6},
}