![](/img/cover-not-exists.png)
[ACM Press the 2006 conference - Portland, Oregon (2006.11.10-2006.11.11)] Proceedings of the 2006 conference on Specification and verification of component-based systems - SAVCBS '06 - Experiments in the use of τ-simulations for the components-verification of real-time systems
Bellegarde, Françoise, Julliand, Jacques, Mountassir, Hassan, Oudot, EmilieYear:
2006
Language:
english
DOI:
10.1145/1181195.1181203
File:
PDF, 230 KB
english, 2006