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 chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publication2010 Seventh International Conference on the Quantitative Evaluation of Systems
Number of pages10
PublisherIEEE Computer Society Press
Publication date2010
ISBN (Print)978-1-4244-8082-1
DOIs
Publication statusPublished - 2010

Cite this