[ACM Press the 2006 conference - Portland, Oregon...

  • Main
  • [ACM Press the 2006 conference -...

[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, Emilie
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2006
Language:
english
DOI:
10.1145/1181195.1181203
File:
PDF, 230 KB
english, 2006
Conversion to is in progress
Conversion to is failed