Statistical abstraction and model-checking of large heterogeneous systems
Open Access
- 21 May 2011
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 14 (1), 53-72
- https://doi.org/10.1007/s10009-011-0201-2
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsLecture Notes in Computer Science, 2010
- Verification of an AFDX Infrastructure Using Simulations and ProbabilitiesLecture Notes in Computer Science, 2010
- Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling PathwayLecture Notes in Computer Science, 2008
- Methods for bounding end-to-end delays on an AFDX networkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Monte Carlo Model CheckingLecture Notes in Computer Science, 2005
- Modelling and simulation of an avionics full duplex switched EthernetPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Introduction to Rare Event SimulationPublished by Springer Science and Business Media LLC ,2004
- Approximate Probabilistic Model CheckingLecture Notes in Computer Science, 2004
- An Introduction to the BootstrapPublished by Informa UK Limited ,1994
- A theory of timed automataTheoretical Computer Science, 1994