Synchronous Interface Theories and Time Triggered Scheduling

BenoƮt Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic. Synchronous Interface Theories and Time Triggered Scheduling. In Holger Giese, Grigore Rosu, editors, Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Volume 7273 of Lecture Notes in Computer Science, pages 203-218, Springer, 2012. [doi]

Abstract

Abstract is missing.