Katoen, Joost-Pieter.

概要

作品:	1 作品在 4 項出版品 1 種語言

書目資訊

ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: Katoen, Joost-Pieter.; SpringerLink (Online service); Langerak, Rom.; Rensink, Arend. (書目-電子資源)

Principles of model checking by: Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc. (書目-電子資源)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part II / by: Katoen, Joost-Pieter.; SpringerLink (Online service); Jansen, Nils. (書目-電子資源)

Lectures on formal methods and performance analysis = first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures/ by: Brinksma, Ed.; Katoen, Joost-Pieter.; SpringerLink (Online service); Hermanns, Holger.; EEF Summer School on Trends in Computer Science (2000 :) (書目-語言資料,印刷品)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part I / by: Katoen, Joost-Pieter.; SpringerLink (Online service); Jansen, Nils. (書目-電子資源)

Formal methods for real-time and probabilistic systems = 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / by: Katoen, Joost-Pieter.; SpringerLink (Online service); International AMAST Workshop, ARTS'99 (1999 :) (書目-語言資料,印刷品)

Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: Katoen, Joost-Pieter.; SpringerLink (Online service); Chechik, Marsha.; Leucker, Martin.; International Symposium of Formal Methods Europe (2023 :) (書目-電子資源)

主題