$$\mathcal {S}$$BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
Attributed to:
SUCCESS -- SecUre aCCESSibility for the internet of things
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-01090-4_33
Publication URI: http://dx.doi.org/10.1007/978-3-030-01090-4_33
Type: Book Chapter
Book Title: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (2018)
Page Reference: 536-542
ISSN: 1381-2386