Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.

Chandrakana Nandi Aurelien Monot Manuel Oriol

Published in: CoRR (2015)

Keyphrases

real time systems
real time
distributed systems
embedded systems
real time database systems
supply chain
timing constraints
object oriented programming language
architectural model
web services
multi agent
mission critical
anytime algorithms
real time embedded