Login / Signup

Application of Allen's Temporal Logic to Ontological Modeling for Enterprise Interoperability.

Alena V. FedotovaKarl A. HribernikKlaus-Dieter Thoben
Published in: I-ESA (2018)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • concurrent systems
  • information systems
  • satisfiability problem
  • reactive systems
  • metadata
  • distributed systems
  • mazurkiewicz traces