1.

図書
図書
1. Principles of model checking
Christel Baier, Joost-Pieter Katoen
出版情報: Cambridge, Mass. : MIT Press, [2008]
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Lectures on Formal Methods and PerformanceAnalysis
EEF/Euro Summer School on Trends in Computer Science ; Brinksma, Ed ; Hermanns, Holger ; Katoen, Joost-Pieter
出版情報: Springer Berlin Heidelberg, 2001
オンライン: ジャーナル/ブックへリンク
3.

電子ブック
ＥＢ
3. Formal Methods for Real-Time and Probabilistic Systems
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software ; Katoen, Joost-Pieter
出版情報: Springer Berlin Heidelberg, 1999
オンライン: ジャーナル/ブックへリンク
4.

電子ブック
ＥＢ
4. Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2002 ; Katoen, Joost-Pieter ; Stevens, Perdita
出版情報: Springer Berlin Heidelberg, 2002
オンライン: ジャーナル/ブックへリンク
5.

図書
図書
5. Foundations of probabilistic programming
edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
出版情報: Cambridge : Cambridge University Press, 2021
所蔵情報: loading…
6.

図書
図書
6. Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2090
所蔵情報: loading…