Sign in

Compositional Invariant Generation for Timed Systems.

Lacramioara AstefanoaeiSouha Ben RayanaSaddek BensalemMarius BozgaJacques Combaz
Published in: TACAS (2014)
Keyphrases
  • knowledge based systems
  • petri net
  • machine learning
  • computer vision
  • expert systems
  • intelligent systems
  • real time
  • management system
  • peer to peer
  • learning systems
  • complex systems
  • systems require