Brinksma, Ed

ID:DA03973770

別名: Brinksma, E. (Ed)

同姓同名の著者を検索

検索結果6件中 1-6 を表示

1

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Ed Brinksma, Kim Guldstrand Larsen (eds.)

Springer c2002 Lecture notes in computer science 2404

所蔵館31館
2

Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Springer c2001 Lecture notes in computer science 2090

所蔵館28館
3

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Ed Brinksma (ed.)

Springer c1997 Lecture notes in computer science 1217

: pbk

所蔵館48館
4

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 Lecture notes in computer science 1019

所蔵館48館
5

Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991

edited by Jan Kroon, Rudolf J. Heijink, Ed Brinksma

North-Holland , Distributors for the U.S. and Canada, Elsevier Pub. Co. 1992 IFIP transactions C . Communication systems ; 3

所蔵館6館
6

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1990

所蔵館15館

ページトップへ