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
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",

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 -