Compositional Design Methodology with Constraint Markov Chains

Benoit 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

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

32 Citationer (Scopus)

Originalsprog	Dansk
Titel	Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST)
Udgivelsessted	Williamburg, VA
Forlag	IEEE Press
Publikationsdato	sep. 2010
Sider	123-132
ISBN (Trykt)	978-1-4244-8082-1
DOI	https://doi.org/10.1109/QEST.2010.23
Status	Udgivet - sep. 2010
Begivenhed	Seventh International Conference on the Quantitative Evaluation of Systems (QEST), 2010 - Williamsburg, Virginia, USA Varighed: 15 sep. 2010 → 18 sep. 2010

Konference

Konference	Seventh International Conference on the Quantitative Evaluation of Systems (QEST), 2010
Land/Område	USA
By	Williamsburg, Virginia
Periode	15/09/2010 → 18/09/2010

Adgang til dokumentet

10.1109/QEST.2010.23

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{19ed6759c5b44bd9a0bc59e1e7de88a2,

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

author = "Benoit Caillaud and Benoit Delahaye and Larsen, {Kim Guldstrand} and Axel Legay and Pedersen, {Mikkel Larsen} and Andrzej Wasowski",

year = "2010",

month = sep,

doi = "10.1109/QEST.2010.23",

language = "Dansk",

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

pages = "123--132",

booktitle = "Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST)",

publisher = "IEEE Press",

note = "Seventh International Conference on the Quantitative Evaluation of Systems (QEST), 2010 ; Conference date: 15-09-2010 Through 18-09-2010",

}

Caillaud, B, Delahaye, B, Larsen, KG, Legay, A, Pedersen, ML & Wasowski, A 2010, Compositional Design Methodology with Constraint Markov Chains. i Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST). IEEE Press, Williamburg, VA, s. 123-132, Seventh International Conference on the Quantitative Evaluation of Systems (QEST), 2010 , Williamsburg, Virginia, USA, 15/09/2010. https://doi.org/10.1109/QEST.2010.23

Compositional Design Methodology with Constraint Markov Chains. / Caillaud, Benoit; Delahaye, Benoit; Larsen, Kim Guldstrand et al.
Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST). Williamburg, VA: IEEE Press, 2010. s. 123-132.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Compositional Design Methodology with Constraint Markov Chains

AU - Caillaud, Benoit

AU - Delahaye, Benoit

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Pedersen, Mikkel Larsen

AU - Wasowski, Andrzej

PY - 2010/9

Y1 - 2010/9

U2 - 10.1109/QEST.2010.23

DO - 10.1109/QEST.2010.23

M3 - Konferenceartikel i proceeding

SN - 978-1-4244-8082-1

SP - 123

EP - 132

BT - Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST)

PB - IEEE Press

CY - Williamburg, VA

T2 - Seventh International Conference on the Quantitative Evaluation of Systems (QEST), 2010

Y2 - 15 September 2010 through 18 September 2010

ER -