Extensions of Statecharts with Time of Transition, Time Delay of Message Transmitting, and Arrival Probability of Message-Reference-Cited by-同舟云学术

Extensions of Statecharts with Time of Transition, Time Delay of Message Transmitting, and Arrival Probability of Message

Published:2013-12-21 Issue: Volume: Page:381-388
ISSN:2194-5357
Container-title:Proceedings of International Conference on Soft Computing Techniques and Engineering Application
language:
Short-container-title:

Author:

Li Junqiao,Tang Jun,Wan Shuang

Publisher

Springer India

Link

http://link.springer.com/content/pdf/10.1007/978-81-322-1695-7_43

Reference15 articles.

1. Vijaykumar, N.L.: Statecharts: Their use in specifying and dealing with performance models. Ph.D. thesis, Informatics and IEC-ITA and São José dos Campos, Brazil (1999)

2. Vijaykumar, N.L., Carvalho, S.V., Abdurahiman, V.: On proposing statecharts to specify performance models. Int. Trans. Oper. Res. (ITOR) 9(3), 321–336 (2002)

3. Vijaykumar, N.L., Carvalho, S.V., Andrade, V.M.B.: Introducing probabilities in statecharts to specify reactive systems for performance analysis. Comput. Oper. Res. 33(8), 2369–2386 (2006)

4. Jansen, D.N., Hermanns, H., Katoen, J.P.: A Probabilistic Extension of UML Statecharts: Specification and Verification. Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 2469, 7th edn, pp. 355–374. Springer, Berlin (2002)

5. Jansen, D.N.: Extensions of Statecharts with Probability, Time, and Stochastic Timing. Ph.D. thesis, Twente University, Bern, Switzerland (2003)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mechanics and safety issues in tailing-based backfill: A review;International Journal of Minerals, Metallurgy and Materials;2020-09

2. Safety of barricades in cemented paste-backfilled stopes;International Journal of Minerals, Metallurgy and Materials;2020-08