Ed Brinksma

Identifiers

Open LibraryOL3181879A

Top Subjects

Systems analysis & design (3)
Logic Design (2)
Congresses (2)
Computer software (2)
System design (2)
Development (2)
Networking - General (2)

Books by Ed Brinksma

Total count: 5

Protocol Specification, Testing, and Verification, IX (I F I P W G 61 International Workshop on Protocol Specification, Testing, and Verification//Protocol Specification, Testing, and Verification)

Elsevier Science Publishing Company1989-12-01
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995Selected Papers (Lecture Notes in Computer Science, 1019)

Springer1995-06-01
Tools and Algorithms for the Construction and Analysis of SystemsThird International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science)1 edition

Springer1997-05-09
Computer Aided Verification14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Springer London, Limited2003-01-01
Lectures on Formal Methods and Performance AnalysisFirst EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures

Springer London, Limited2003-01-01