Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, et al.. Compositional design methodology with constraint Markov chains.
QEST 2010, Sep 2010, Williamsburg, Virginia, United States.
⟨10.1109/QEST.2010.23⟩.
⟨inria-00591578⟩