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 editionSpringer1997-05-09-
Computer Aided Verification14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 ProceedingsSpringer 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 LecturesSpringer London, Limited2003-01-01