Probabilistic contracts for component-based design
Gössler, Gregor, Xu, Dana N., Girault, AlainVolume:
41
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-012-0162-4
Date:
October, 2012
File:
PDF, 1003 KB
english, 2012