Zum Inhalt springen

  4. Brinksma, Ed [HerausgeberIn] ; International Federation for Information Processing Working Group on International Packet Switching for Computer Sharing, International Symposium on Protocol Specification, Testing, and Verification 9 1989 Enschede

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: North-Holland, 1990

  5. Brinksma, Ed [Sonstige Person, Familie und Körperschaft]; Cleaveland, Walter R. [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]; Margaria-Steffen, Tiziana [HerausgeberIn]; Steffen, Bernhard [HerausgeberIn] ; TACAS 1 1995 Århus

    Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1995

    Erschienen in: Lecture notes in computer science ; 1019

  6. Brinksma, Ed [Sonstige Person, Familie und Körperschaft] ; TACAS 1 1995 Århus

    Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1995 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 101900

  7. Brinksma, Ed [VerfasserIn] ; Larsen, Kim Guldstrand [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2404

  8. Brinksma, Ed [VerfasserIn] ; Hermanns, Holger [Sonstige Person, Familie und Körperschaft]; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft]

    Lectures on Formal Methods and PerformanceAnalysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2090

  9. Brinksma, Ed [VerfasserIn] ; Cleaveland, W. Rance [Sonstige Person, Familie und Körperschaft]; Larsen, Kim G. [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]

    Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 1019

  10. Brinksma, Ed [VerfasserIn]

    Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1217

  11. Brinksma, Ed [VerfasserIn]; Grieskamp, Wolfgang [VerfasserIn]; Tretmans, Jan [VerfasserIn] ; Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans [MitwirkendeR]

    04371 Abstracts Collection – Perspectives of Model-Based Testing

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  12. Brinksma, Ed [VerfasserIn]; Grieskamp, Wolfgang [VerfasserIn]; Tretmans, Jan [VerfasserIn] ; Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans [MitwirkendeR]

    04371 Summary – Perspectives of Model-Based Testing

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  14. Brinksma, Ed [VerfasserIn]; Harel, David [VerfasserIn]; Mader, Angelika [VerfasserIn]; Stevens, Perdita [VerfasserIn]; Wieringa, Roel [VerfasserIn] ; Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa [MitwirkendeR]

    06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  15. Brinksma, Ed [VerfasserIn]; Harel, David [VerfasserIn]; Mader, Angelika [VerfasserIn]; Stevens, Perdita [VerfasserIn]; Wieringa, Roel [VerfasserIn] ; Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa [MitwirkendeR]

    06351 Summary – Methods for Modelling Software Systems (MMOSS)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007