Methods for Verification & Validation of time-triggered embedded systems (NT TR 600)
Report #: NT TR 600 Approved: December 2005 Author(s): Johan Hedberg, Andreas Söderberg, Timo Malm, Maarit Kivipuro, Håkan Sivencrona Size: 814.69 KB Abstract This Read more…