Katoen, Joost-Pieter.

Overview

Works:	1 works in 4 publications in 1 languages

Titles

Dependable software engineeringtheories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings / by: (1998 :); Guan, Nan.; Katoen, Joost-Pieter.; SpringerLink (Online service); Sun, Jun. (Electronic resources)

ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: Katoen, Joost-Pieter.; Langerak, Rom.; Rensink, Arend.; SpringerLink (Online service) (Electronic resources)

Principles of model checking by: Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc. (Language materials, printed)

Lectures on formal methods and performance analysisfirst EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / by: (1998 :); Brinksma, Ed.; Hermanns, Holger.; Katoen, Joost-Pieter.; SpringerLink (Online service) (Electronic resources)

Formal methods for real-time and probabilistic systems5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / by: (1998 :); Katoen, Joost-Pieter.; SpringerLink (Online service) (Electronic resources)

Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: (1998 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service) (Electronic resources)

CONCUR 2011concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / by: (1998 :); Katoen, Joost-Pieter.; Konig, Barbara.; SpringerLink (Online service) (Electronic resources)

Subjects