Login / Signup

Incremental Generation of Linear Invariants for Component-Based Systems.

Saddek BensalemMarius BozgaBenoît BoyerAxel Legay
Published in: ACSD (2013)
Keyphrases
  • linear systems
  • neural network
  • management system
  • computer systems
  • databases
  • learning systems
  • complex systems
  • information retrieval systems
  • retrieval systems