Joost-Pieter Katoen

Joost-Pieter Katoen in der Logic Lane, [[Oxford mini|Joost-Pieter Katoen in der Logic Lane, Oxford Joost-Pieter Katoen (* 6. Oktober 1964 in Krimpen aan den IJssel) ist ein niederländischer theoretischer Informatiker. Er ist ''distinguished professor'' der Informatik und Inhaber des Lehrstuhls für Softwaremodellierung und Verifikation an der RWTH Aachen. Des Weiteren gehört er der ''Formal Methods & Tools Group'' der Universität Twente an. Veröffentlicht in Wikipedia
Treffer 1 – 10 von 10 für Suche 'Katoen, Joost-Pieter 1964-', Suchdauer: 0,09s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Principles of model checking

    Principles of model checking von Baier, Christel, Katoen, Joost-Pieter 1964-

    Veröffentlicht 2008
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Principles of model checking

    Principles of model checking von Baier, Christel, Katoen, Joost-Pieter 1964-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Quantitative and qualitative extensions of event structures

    Quantitative and qualitative extensions of event structures von Katoen, Joost-Pieter 1964-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Principles of model checking

    Principles of model checking von Baier, Christel, Katoen, Joost-Pieter 1964-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Concepts, algorithms, and tools for model checking [lecture notes of the course "Mechanised validation of parallel systems"; Semester 1998/1999]

    Concepts, algorithms, and tools for model checking [lecture notes of the course "Mechanised validation of parallel systems"; Semester 1998/1999] von Katoen, Joost-Pieter 1964-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    Veröffentlicht 2017
    Weitere Verfasser: “… Katoen, Joost-Pieter 1964- …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    ModelEd, TestEd, TrustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    ModelEd, TestEd, TrustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    Veröffentlicht 2017
    Weitere Verfasser: “… Katoen, Joost-Pieter 1964- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings

    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    44th International Symposium on Mathematical Foundations of Computer Science MFCS 2019, August 26–30, 2019, Aachen, Germany

    44th International Symposium on Mathematical Foundations of Computer Science MFCS 2019, August 26–30, 2019, Aachen, Germany

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: