@inproceedings{44c114ab0a0c41089e3246180d161430,
title = "Statistical model checking QoS properties of systems with SBIP",
abstract = "BIP is a component-based framework supporting rigorous design of embedded systems. This paper presents SBIP, an extension of BIP that relies on a new stochastic semantics that enables verification of large-size systems by using Statistical Model Checking. The approach is illustrated on several industrial case studies.",
author = "S. Bensalem and M. Bozga and B. Delahaye and C. Jegourel and A. Legay and A. Nouri",
year = "2012",
doi = "10.1007/978-3-642-34026-0_25",
language = "English",
isbn = "978-3-642-34025-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "327--341",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change",
address = "United States",
note = "Leveraging Applications of Formal Methods, Verification and Validation : Applications and Case Studies, ISOLA 2012 ; Conference date: 14-10-2012 Through 19-10-2012",
}