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 Computer Society Press
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 Computer Society Press",

address = "United States",

}

Compositional Design Methodology with Constraint Markov Chains. / Caillaud, Benoît; Delahaye, Benoit; Larsen, Kim Guldstrand et al.
2010 Seventh International Conference on the Quantitative Evaluation of Systems. IEEE Computer Society Press, 2010.

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

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 Computer Society Press

ER -