Login / Signup
Composing heterogeneous reactive systems.
Albert Benveniste
Benoît Caillaud
Luca P. Carloni
Paul Caspi
Alberto L. Sangiovanni-Vincentelli
Published in:
ACM Trans. Embed. Comput. Syst. (2008)
Keyphrases
</>
reactive systems
information flow
temporal logic
model checking
petri net
real time systems
information systems
formal methods
control flow
artificial intelligence
databases
high level
knowledge based systems
black box
heterogeneous data
state machines