Amanote Research
Register
Sign In
Quantitative Model Checking of Systems With Degradation
doi 10.1109/qest.2009.24
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2009
Authors
Jirí Barnat
Ivana Cerna
Jana Tumova
Publisher
IEEE
Related search
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Implicit-Invocation Systems
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparison of Model Checking Tools for Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis
Testing Automation Systems by Means of Model Checking
Verification of Interlocking Systems Using Statistical Model Checking
