acm sigbed
|
emsoft
|
participants
Jean-Baptiste Raclet
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Modal Interfaces: Unifying Interface Automata and Modal Specifications
Jean-Baptiste Raclet
,
Éric Badouel
,
Albert Benveniste
,
Benoît Caillaud
,
Axel Legay
, and
Roberto Passerone
10.1145/1629335.1629348
http://people.rennes.inria.fr/Albert.Benveniste/pub/ModalInterfEmsoft2009.pdf