Brinksma, Ed
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | IFIP TC6 International Workshop on Protocol Test Systems (4th : 1991 : Leidschendam, Netherlands). Protocol test systems, 1992: CIP t.p. (Ed Brinksma; Univ. of Twente, Enschede, The Netherlands) Protocol, specification, testing, and verification, IX, 1990: t.p. (ed. by Ed Brinksma) EDSRC:Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], eds(Springer, c1995) |
から見よ参照 | Brinksma, E. (Ed) |
コード類 | 典拠ID=AU20018780 NCID=DA03973770 |