Compositional Design Methodology with Constraint Markov Chains

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

doi:10.1109/QEST.2010.23

Compositional Design Methodology with Constraint Markov Chains

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	2010 Seventh International Conference on the Quantitative Evaluation of Systems
Number of pages	10
Publisher	IEEE
Publication date	2010
ISBN (Print)	978-1-4244-8082-1
DOIs	https://doi.org/10.1109/QEST.2010.23
Publication status	Published - 2010

Access to Document

10.1109/QEST.2010.23

Cite this

@inproceedings{9c6b7bf3b20b4e30b0e4b28d23084aa5,

title = "Compositional Design Methodology with Constraint Markov Chains",

author = "Beno{\^i}t Caillaud and Benoit Delahaye and Larsen, \{Kim Guldstrand\} and Axel Legay and Pedersen, \{Mikkel Larsen\} and Andrzej Wasowski",

year = "2010",

doi = "10.1109/QEST.2010.23",

language = "English",

isbn = "978-1-4244-8082-1 ",

booktitle = "2010 Seventh International Conference on the Quantitative Evaluation of Systems",

publisher = "IEEE",

address = "United States",

}

TY - GEN

T1 - Compositional Design Methodology with Constraint Markov Chains

AU - Caillaud, Benoît

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Wasowski, Andrzej

PY - 2010

Y1 - 2010

U2 - 10.1109/QEST.2010.23

DO - 10.1109/QEST.2010.23

M3 - Article in proceedings

SN - 978-1-4244-8082-1

BT - 2010 Seventh International Conference on the Quantitative Evaluation of Systems

PB - IEEE

ER -