You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Timing Validation of Automotive Software
|
---|---|
Chapter number | 8 |
Book title |
Leveraging Applications of Formal Methods, Verification and Validation
|
Published in |
ADS, October 2008
|
DOI | 10.1007/978-3-540-88479-8_8 |
Book ISBNs |
978-3-54-088478-1, 978-3-54-088479-8
|
Authors |
Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand, Kästner, Daniel, Wilhelm, Reinhard, Heckmann, Reinhold, Schlickling, Marc, Pister, Markus, Jersak, Marek, Richter, Kai, Ferdinand, Christian |