TY  - RPRT
TI  - Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
AU  - Chandrakana Nandi
AU  - Aurelien Monot
AU  - Manuel Oriol
PY  - 2015
UR  - https://arxiv.org/abs/1501.02336
ID  - 1501.02336
ER  -