![](/img/cover-not-exists.png)
[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - Real Time Properties for Interrupt Timed Automata
Berard, Beatrice, Haddad, Serge, Sassolas, MathieuYear:
2010
Language:
english
DOI:
10.1109/time.2010.11
File:
PDF, 239 KB
english, 2010