Author:
Wang Qing-long,Wang Zhi-xue,Zhang Ting-ting,Zhu Wei-xing
Publisher
Zhejiang University Press
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Hardware and Architecture,Signal Processing
Reference28 articles.
1. Ahmed, R., Robinson, S., 2007. Simulation in business and industry: how simulation context can affect simulation practice? Proc. Spring Simulation Multiconference, p.152–159.
2. Bagdatli, B., Mavris, D., 2012. Use of high-level architecture discrete event simulation in a system of systems design. IEEE Aerospace Conf., p.1–13. http://dx.doi.org/10.1109/AERO.2012.6187442
3. Chapurlat, V., Braesch, C., 2008. Verification, validation, qualification and certification of enterprise models: statements and opportunities. Comput. Ind., 59(7): 711–721. http://dx.doi.org/10.1016/j.compind.2007.12.018
4. Chapurlat, V., Kamsu-Fogum, B., Prunet, F., 2006. A formal verification framework and associated tools for enterprise modeling: application to UEML. Comput. Ind., 57(2): 153–166. http://dx.doi.org/10.1016/j.compind.2005.06.001
5. Dong, Q.C., Wang, Z.X., Chen, G.Y., et al., 2012. Domainspecific modeling and verification for C4ISR capability requirements. J. Cent. South Univ., 19(5): 1334–1341. http://dx.doi.org/10.1007/s11771-012-1146-7
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献