Login / Signup

A Mechanized Semantic Framework for Real-Time Systems.

Manuel GarnachoJean-Paul BodeveixMamoun Filali-Amine
Published in: FORMATS (2013)
Keyphrases
  • real time systems
  • high level
  • decision making
  • database systems
  • natural language
  • multi agent systems
  • source code
  • embedded systems
  • mission critical