swMATH29517MaRDI QIDQ41231FDOQ41231
Author name not available (Why is that?)
Official website: https://www.autosar.org/
Cited In (16)
- Title not available (Why is that?)
- Model-based fault injection for testing gray-box systems
- Static analysis of embedded real-time concurrent software with dynamic priorities
- Control: a perspective
- A component-based approach to the design of networked control systems
- Omola
- SysML
- Charmy
- STELLA
- ObjectMath
- TrueTime
- Goblint
- MARTE
- Magiclock
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
- Cost problems for parametric time Petri nets
This page was built for software: AUTOSAR
