Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
Metadata only
Date
2015Type
- Conference Paper
Publication status
publishedExternal links
Book title
Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015)Pages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
Design by Contract; Runtime verification; Real-time systems; Statistical inference; Component-based engineeringOrganisational unit
03594 - Meyer, Bertrand (emeritus)
More
Show all metadata