Sciweavers

DATE
2003
IEEE
112views Hardware» more  DATE 2003»
14 years 3 months ago
Safe Automotive Software Development
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ern...