Author:
El-Fakih Khaled,Yevtushenko Nina
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Barrett, G., Lafortune, S.: Bisimulation, the supervisory control problem, and strong model matching for finite ftate machines. Discrete Event Dynamic Systems: Theory and Application 8(4), 377–429 (1998)
2. von Bochmann, G., Merlin, P.M.: On the construction of communication protocols. In: ICCC, pp. 371–378 (1980);
3. Sunshine, C. (ed.): Reprinted in Communication Protocol Modeling. Artech House Publ., Norwood (1981)
4. Lecture Notes in Computer Science;S. Buffalov,2003
5. Cavalli, D., Lee, D., Rinderknecht, C., Zaidi, F.: Hit-or-Jump: An algorithm for embedded testing with applications to IN services. In: Proceedings of Joint Inter. Conf. FORTE/PSTV99, pp. 41–58 (1999)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献