cfaed Publications
Provable Determinism for Software in Cyber-Physical Systems
Reference
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, "Provable Determinism for Software in Cyber-Physical Systems", Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments, 12pp, Oct 2023.
Bibtex
@InProceedings{rossel_vstte23,
author = {Marcus Rossel and Shaokai Lin and Marten Lohstroh and Jeronimo Castrillon and Andrés Goens},
booktitle = {Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments},
title = {Provable Determinism for Software in Cyber-Physical Systems},
organization = {Springer},
pages = {12pp},
month = oct,
year = {2023},
}
author = {Marcus Rossel and Shaokai Lin and Marten Lohstroh and Jeronimo Castrillon and Andrés Goens},
booktitle = {Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments},
title = {Provable Determinism for Software in Cyber-Physical Systems},
organization = {Springer},
pages = {12pp},
month = oct,
year = {2023},
}
Downloads
2310_Rossel_VSSTE [PDF]
Permalink
https://cfaed.tu-dresden.de/publications?pubId=3668