ALL-TIMES – A European Project on Integrating Timing Technology
Gustafsson, Jan, Lisper, Björn, Schordan, Markus, Ferdinand, Christian, Gliwa, Peter, Jersak, Marek, Bernat, Guillem
Published in Leveraging Applications of Formal Methods, Verification and Validation (2008)
Published in Leveraging Applications of Formal Methods, Verification and Validation (2008)
Get full text
Book Chapter
Conference Proceeding