Suchergebnisse - Katoen, Joost-Pieter

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 – 13 von 13
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2008
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    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


    Gespeichert in:
  4. 4
    Buchumschlag

    Foundations of probabilistic programming

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter …”
    Online lesen
    E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Dependable software engineering: theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter 1964- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter 1964- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Foundations of probabilistic programming

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter 1964- …”
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter 1964- …”
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Katoen, Joost-Pieter 1964- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: