Login / Signup

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems.

Mario Bravetti
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • real time systems
  • open source
  • distributed systems
  • decision making
  • cooperative
  • relational databases