Amanote Research
Register
Sign In
Validation of Service Level Agreements Using Probabilistic Model Checking
doi 10.1109/scc.2017.26
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2017
Authors
Maria Krotsiani
Christos Kloukinas
George Spanoudakis
Publisher
IEEE
Related search
Closing Service Quality Gaps Using Dynamic Service Level Agreements
International Journal of Information System Modeling and Design
Management of Technology
Information Systems
Innovation
Quality of Service and Service Level Agreements
Counterexamples in Probabilistic Model Checking
Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Advances and Challenges of Probabilistic Model Checking
Negotiation and Monitoring of Service Level Agreements
Coverage-Based Testing for Service Level Agreements
IEEE Transactions on Services Computing
Information Systems
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
