A Framework for Specification and Verification of Timeout Models of Real-Time Systems.

Published in: IC3 (2011)

Keyphrases

real time systems
probabilistic model
reactive systems
real time
modeling framework
process model
high level
artificial intelligence
case study
distributed systems
embedded systems
formal methods