External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Statistical Model Checking QoS Properties of Systems with SBIP

Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri. Statistical Model Checking QoS Properties of Systems with SBIP. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Volume 7609 of Lecture Notes in Computer Science, pages 327-341, Springer, 2012. [doi]

Authors

Saddek Bensalem

This author has not been identified. Look up 'Saddek Bensalem' in Google

Marius Bozga

This author has not been identified. Look up 'Marius Bozga' in Google

Benoît Delahaye

This author has not been identified. Look up 'Benoît Delahaye' in Google

Cyrille Jégourel

This author has not been identified. Look up 'Cyrille Jégourel' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Ayoub Nouri

This author has not been identified. Look up 'Ayoub Nouri' in Google
runs on