Compositional Design Methodology with Constraint Markov Chains

Benoît Caillaud, Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
Titel2010 Seventh International Conference on the Quantitative Evaluation of Systems
Antal sider10
ForlagIEEE Computer Society Press
Publikationsdato2010
ISBN (Trykt)978-1-4244-8082-1
DOI
StatusUdgivet - 2010

Citationsformater