QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.e94.d.958
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2011
Authors
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)