Cited By
View all- Song JParmer G(2013)Toward predictable, efficient, system-level tolerance of transient faultsACM SIGBED Review10.1145/2583687.258370010:4(53-56)Online publication date: 1-Dec-2013
- Schwarz CZöbel DWagner M(2013)Formal verification of service-oriented adaptive driver assistance systemsACM SIGBED Review10.1145/2583687.258369910:4(49-52)Online publication date: 1-Dec-2013
- Gregertsen K(2013)An extended ravenscar profile for execution time controlACM SIGAda Ada Letters10.1145/2552999.255301133:2(109-114)Online publication date: 8-Nov-2013
- Show More Cited By