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

Chandrakana Nandi Aurelien Monot Manuel Oriol

Published in: CBSE (2015)

Keyphrases

real time systems
real time
embedded systems
distributed systems
mission critical
real time database systems
computational intelligence
cooperative
timing constraints
real time embedded
object oriented programming language
supply chain
fuzzy logic
solution quality
database
anytime algorithms
architectural model