Login / Signup

Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations.

Antonella SantoneGigliola Vaglini
Published in: J. Autom. Reason. (2003)
Keyphrases
  • case study
  • database
  • real time
  • databases
  • knowledge base
  • source code
  • normal form
  • delay insensitive