Formal methods: Importance, experience, and comparative analysis
暂无分享,去创建一个
[1] Guy Leduc,et al. Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS , 1991, PSTV.
[2] Hasan Ural. Test sequence selection based on static data flow analysis , 1987, Comput. Commun..
[3] Itu-T. Specification and Description Language (SDL) , 1999 .
[4] H. Elgendy,et al. A new theory for equivalence between process specifications , 1996, Proceedings of Third International Conference on Electronics, Circuits, and Systems.
[5] Samuel T. Chanson,et al. Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification , 1989, FORTE.
[6] Chih-Yung Chang,et al. Active route-maintenance protocol for signal-based communication path in ad hoc networks , 2002, J. Netw. Comput. Appl..
[7] Krishan K. Sabnani,et al. A Protocol Test Generation Procedure , 1988, Comput. Networks.
[8] Rolando Carrasco,et al. Neural networks for the adaptive control of disruptive nonlinear network traffic , 2000 .
[9] Manuel Núñez,et al. Characterizing termination in LOTOS via testing , 1995, PSTV.
[10] Mihaela Sighireanu,et al. Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS , 1998, International Journal on Software Tools for Technology Transfer.
[11] Hazem El-Gendy,et al. Comparative analysis of the notions of equivalence for process specifications , 1998, Proceedings Third IEEE Symposium on Computers and Communications. ISCC'98. (Cat. No.98EX166).
[12] Hasan Ural,et al. Data Flow Oriented Test Selection for Lotos , 1995, Comput. Networks ISDN Syst..
[13] Howard Bowman,et al. Composition of LOTOS specifications , 1995, PSTV.
[14] Gregor von Bochmann,et al. Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques , 1990, Comput. Networks ISDN Syst..
[15] Hazem El-Gendy,et al. Transformation of Lotos specifications to Estelle specifications , 1997, Proceedings Second IEEE Symposium on Computer and Communications.
[16] Mohsen Kavehrad,et al. Packet Transmission over a Fixed Wireless Loop Using Adaptive Rate Techniques , 2002, Int. J. Wirel. Inf. Networks.