3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Benoît Delahaye, Benoît Caillaud
In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the c…