Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking

Saved in:
Bibliographic Details
Published in:Journal of software 2010-07, Vol.5 (7), p.793-793
Main Authors: Zhao, Yefei, Yang, Zongyuan, Xie, Jinkui, Liu, Qiang
Format: Article
Language:English
Subjects:
Computer programs
Probabilistic methods
Probability theory
Quantitative analysis
Software
Unified Modeling Language
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:1796-217X
1796-217X
DOI:10.4304/jsw.5.7.793-800