Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.

Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, Lszl Gnczy, Andrs Pataricza, Gyrgy Csertn

Browse the full SAFECOMP paper archive.