Experiences with the integration of protocol software tools
暂无分享,去创建一个
[1] Juha Koivisto,et al. Object-Oriented Implementation of Telecommunication Software Using the OTSO Environment , 1992, INDC.
[2] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[3] Bruno Chatras,et al. Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7 , 1993, Protocol Test Systems.
[4] Stanislaw Budkowski,et al. An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.
[5] Norman Wilde,et al. Maintenance Support for Object-Oriented Programs , 1992, IEEE Trans. Software Eng..
[6] Antti Valmari,et al. Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool , 1993, FME.
[7] Dieter Hogrefe,et al. The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.
[8] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[9] Juha Koivisto,et al. Generating Object-Oriented Telecommunications Software Using ASN.1 Descriptions , 1992, ULPAA.