國立虎尾科技大學 |

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

CONCUR 2011 = concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / by: Katoen, Joost-Pieter.; SpringerLink (Online service); Konig, Barbara.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by: Guan, Nan.; Katoen, Joost-Pieter.; SpringerLink (Online service); Sun, Jun. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Principles of model checking by: Baier, Christel.; NetLibrary, Inc.; Katoen, Joost-Pieter. (書目-語言資料,印刷品)

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

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

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