Jérôme Ermont, Christian Fraboul. Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-4, IEEE, 2013. [doi]
@inproceedings{ErmontF13,
title = {Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays},
author = {Jérôme Ermont and Christian Fraboul},
year = {2013},
doi = {10.1109/ETFA.2013.6648072},
url = {http://dx.doi.org/10.1109/ETFA.2013.6648072},
researchr = {https://researchr.org/publication/ErmontF13},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013},
publisher = {IEEE},
}