Sign in

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).

Albert BenvenisteBenoît CaillaudLuca P. CarloniPaul CaspiAlberto L. Sangiovanni-Vincentelli
Published in: EMSOFT (2004)
Keyphrases
  • reactive systems
  • model checking
  • temporal logic
  • real time
  • information flow
  • heterogeneous environments
  • data mining
  • machine learning
  • database systems
  • e government
  • knowledge acquisition
  • process model