A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry
Robustness Modelling of Automotive Electrical Systems of Systems
2009-01-0122 Modelling of Network Communications Stack Software ROM and RAM Requirements