Login / Signup

A Q-model approach to decomposition and aggregation of specifications of real-time systems.

Rein Paluoja
Published in: RTS (1995)
Keyphrases
  • real time systems
  • high level
  • probabilistic model
  • computational model
  • embedded real time systems
  • real time
  • software engineering
  • multi agent
  • data warehouse
  • hierarchical structure
  • specification language