AUTOSAR
From MaRDI portal
Cited in
(18)- scientific article; zbMATH DE number 7559357 (Why is no real title available?)
- Model-based fault injection for testing gray-box systems
- Static analysis of embedded real-time concurrent software with dynamic priorities
- Control: a perspective
- Romeo
- Omola
- TinyOS
- SysML
- Charmy
- STELLA
- ObjectMath
- TrueTime
- Goblint
- MARTE
- Magiclock
- A component-based approach to the design of networked control systems
- 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
