Author:
Merseguer José,Bernardi Simona
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference19 articles.
1. Ajmone Marsan M, Chiola G (1987) On Petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1987, covers the 7th European workshop on applications and theory of Petri Nets. Springer, London, pp 132–145
2. Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Depend Secure Comput 1(1):11–33. doi: 10.1109/TDSC.2004.2
3. Basile F, Chiacchio P, Grosso DD (2008) Modelling automation systems by UML and Petri nets. In: Proceedings of of the 9th international workshop on discrete event systems (WODES 2008), IEEE Explore, pp 308–313
4. Bernardi S, Merseguer J, Petriu D (2009) A dependability profile within MARTE. J Softw Syst Model. doi: 10.1007/s10270-009-0128-1
5. Bondavalli A, Dal Cin M, Latella D, Majzik I, Pataricza A, Savoia G (2001) Dependability analysis in the early phases of UML-based system design. Int J Comput Syst Sci Eng 16(5):265–275
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献