An Interface Algebra for Real-Time Components

Thomas A. Henzinger, Slobodan Matic. An Interface Algebra for Real-Time Components. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA. pages 253-266, IEEE Computer Society, 2006. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.