Login / Signup

Analysis of Real-Time Systems with CTL Model Checkers.

Mustapha BourahlaMohamed Benmohamed
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • real time systems
  • high level
  • computational model
  • software engineering
  • multi agent systems
  • probabilistic model
  • process model
  • model checking
  • hierarchical structure
  • temporal logic
  • architectural model