Skip to search boxSkip to navigationSkip to main content

Compositional Design Methodology with Constraint Markov Chains

  • Benoît Caillaud
    ,
  • Benoit Delahaye
    ,
  • Kim Guldstrand Larsen
    ,
  • Axel Legay
    ,
  • Mikkel Larsen Pedersen
    ,
  • Andrzej Wasowski
  • The French National Institute for Computer Science (INRIA)
    ,
  • Aalborg University
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Publication milestones

  • Published - 2010

Publication status

Published - 2010

Publisher

IEEE, United States

ISBN (Print)

978-1-4244-8082-1

Publication IDs

  • Scopus: 78649475172

Host publication title

2010 Seventh International Conference on the Quantitative Evaluation of Systems

Publication metrics

PlumX, opens in new tab

Captures
15
Citations
35

Access to documents