![](/img/cover-not-exists.png)
[ACM Press the 2015 Workshop - Austin, Texas, USA (2015.01.31-2015.01.31)] Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development - WOSP '15 - Integrating Formal Timing Analysis in the Real-Time Software Development Process
Henia, Rafik, Rioux, Laurent, Sordon, Nicolas, Garcia, Gérald-Emmanuel, Panunzio, MarcoYear:
2015
Language:
english
DOI:
10.1145/2693561.2693562
File:
PDF, 667 KB
english, 2015