Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/05/01 Vol. E94-DNo. 5 ;
pp. 958-966 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Model Checking Keyword: QoS, probabilistic automaton, simulation, model checking,