Author:
Kamal Kaur Raj,Kumar Singh Lalit,Singh Pooja
Subject
Mechanical Engineering,Waste Management and Disposal,Safety, Risk, Reliability and Quality,General Materials Science,Nuclear Energy and Engineering,Nuclear and High Energy Physics
Reference26 articles.
1. Dynamic reliability modeling of digital instrumentation and control systems for nuclear reactor probabilistic risk assessments;Aldemir,2007
2. Transforming UML sequence diagram to high level Petri Net;Alhroob,2010
3. Ameedeen, M.A., Bordbar, B. and Anane, R., 2011. Model interoperability via model driven development. Journal of computer and system sciences, 77(2), pp.332-347.
4. Andrade, E., Maciel, P., Callou, G., Nogueira, B. and Araújo, C., 2009, March. Mapping uml sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. in: Proceedings of the 2009 ACM symposium on Applied Computing (pp. 377-381).
5. Timing-failure risk assessment of UML design using Time Petri Net bound techniques;Bernardi;IEEE Trans. Ind. Inf.,2010
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comparative Study of Analytical Models;Asset Analytics;2024
2. Flexible Modeling System: Steam Generator Model;2023 International Russian Automation Conference (RusAutoCon);2023-09-10