Author:
Beloglazov D. M.,Mashukov M. Yu.,Nepomnyashchiy V. A.
Subject
Signal Processing,Control and Systems Engineering,Software
Reference17 articles.
1. Vinogradov, R.A., Kuz’min, E.V., and Sokolov, V.A., Automata Program Verification by CPN Tools, Model. Analiz Inf. Sist., 2006, vol. 13, no. 2, pp. 4–15.
2. Kuz’min, E.V. and Sokolov, V.A., Modeling, Specification, and Verification of Automaton Programs, Program. Comput. Software, 2008, vol. 34, no. 1, pp. 27–43.
3. Shalyto, A.A. and Tukkel’, N.I., SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems, Program. Comput. Software, 2001, vol. 27, no. 5, pp. 260–276.
4. Beloglazov, D. and Nepomniaschy, V., A Two-Level Approach for Modeling and Verification of Telecommunication Systems, Proc. PSI-2009; Lect. Notes Comput. Sci., 2010, vol. 5947, pp. 70–85.
5. Capellmann, C., Dibold, H., and Herzog, U., Using High-Level Petri Mets in the Field of Intelligent Networks, Lect. Notes Comput. Sci., 1999, vol. 1605, pp. 1–36.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献