Havelund Klaus について
Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA について
Peled Doron について
Department of Computer Science, Bar Ilan University, Ramat Gan, Israel について
Ulus Dogan について
Boston University, Boston, MA, USA について
Formal Methods in System Design について
実数 について
時間論理 について
形式的仕様 について
有界 について
計算理論 について
計算機システム開発 について
BDD について
時間論理 について
モニタリング について