Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference42 articles.
1. Arcticus Systems AB (2022) Rubus ICE: integrated component model development environment. https://www.arcticus-systems.com/products/rubus-tool-suite/
2. Bletsas K, Audsley NC, Huang W et al (2018) Errata for three papers (2004–05) on fixed-priority scheduling with self-suspensions. LITES 5(1):0:21-02:20
3. Bosch (1991) CAN specification version 2.0
4. Cerqueira F, Stutz F, Brandenburg BB (2016) Prosa: a case for readable mechanized schedulability analysis. In: 28th Euromicro conference on real-time systems (ECRTS), IEEE, pp 273–284
5. CertiCAN (2021) A Coq tool to certify CAN analyses and their results. https://team.inria.fr/spades/certican2/