Modal interfaces: unifying interface automata and modal specifications

Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal interfaces: unifying interface automata and modal specifications. In Samarjit Chakraborty, Nicolas Halbwachs, editors, Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. pages 87-96, ACM, 2009. [doi]

Abstract

Abstract is missing.