1024 search results - page 6 / 205 » Compositional Methods for Probabilistic Systems |
ECBS
2000
IEEE
14 years 1 days ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
FM
1999
Springer
13 years 12 months ago
1999
Springer
IFM
2010
Springer
13 years 6 months ago
2010
Springer
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...