AUTOSAR
From MaRDI portal
Software:41231
swMATH29517MaRDI QIDQ41231FDOQ41231
Author name not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Model-based fault injection for testing gray-box systems
- Cost Problems for Parametric Time Petri Nets*
- 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
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
This page was built for software: AUTOSAR
