Login / Signup

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

Mario Bravetti
Published in: PAPM-PROBMIV (2002)
Keyphrases
  • real time systems
  • high level
  • database systems
  • computational intelligence
  • distributed systems
  • cooperative