Login / Signup

Validating the Design of Real-Time Systems Using a Formal Specification Method.

Félix Buendía GarcíaJoan Vila-Carbó
Published in: RTS (1996)
Keyphrases
  • real time systems
  • formal specification
  • dynamic programming
  • real time
  • user interface
  • artificial intelligence
  • multi agent systems
  • relational databases
  • distributed systems
  • specification languages