Modelling Support for Design of Safety-Critical Automotive Embedded Systems.

De-Jiu Chen, Rolf Johansson, Henrik Lnn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Trner, Martin Trngren

Browse the full SAFECOMP paper archive.