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]

Abstract

Abstract is missing.