Ed Brinksma – författare
Visar alla böcker från författaren Ed Brinksma. Handla med fri frakt och snabb leverans.
7 produkter
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
Av Ed Brinksma, Holger Hermanns m. fl.
Häftad, 2001
567 kr
Lägg i varukorg
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and …
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Häftad, 2002
1128 kr
Lägg i varukorg
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for …
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
Av Joost-Pieter Katoen, Holger Hermanns m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and …
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
E-bok, 2003
1502 kr
Lägg i varukorg
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for …
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Av Ed Brinksma, W. Rance Cleaveland m. fl.
Häftad, 1995
567 kr
Lägg i varukorg
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.The workshop brought together 46 researchers interested …
Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Av Ed Brinksma
Häftad, 1997
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected …
