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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	2010 Seventh International Conference on the Quantitative Evaluation of Systems
Antal sider	10
Forlag	IEEE Computer Society Press
Publikationsdato	2010
ISBN (Trykt)	978-1-4244-8082-1
DOI	https://doi.org/10.1109/QEST.2010.23
Status	Udgivet - 2010

Adgang til dokumentet

10.1109/QEST.2010.23

Citationsformater

@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.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -