[图书][B] The SPIN model checker: Primer and reference manual
GJ Holzmann - cin.ufpe.br
[ Team LiB ] • Table of Contents Spin Model Checker, The: Primer and Reference Manual By
Gerard J. Holzmann Publisher: Addison Page 1 [ Team LiB ] • Table of Contents Spin Model …
Gerard J. Holzmann Publisher: Addison Page 1 [ Team LiB ] • Table of Contents Spin Model …
[引用][C] The SPIN model checker: primer and reference manual
GJ Holzmann - (No Title) - cir.nii.ac.jp
The SPIN model checker : primer and reference manual | CiNii Research CiNii 国立情報学
研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 …
研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 …
The SPIN Model Checker: Primer and Reference Manual
G Holzmann - 2011 - dl.acm.org
The SPIN Model Checker is used for both teaching software verification techniques, and for
validating large scale applications. The growing number of users has created a need for a …
validating large scale applications. The growing number of users has created a need for a …
Spin model checker, the: primer and reference manual
G Holzmann - 2003 - dl.acm.org
Master SPIN, the breakthrough tool for improving software reliabilitySPIN is the world's most
popular, and arguably one of the world's most powerful, tools for detecting software defects …
popular, and arguably one of the world's most powerful, tools for detecting software defects …
[引用][C] The SPIN model checker: primer and reference manual
GJ Holzmann - (No Title) - cir.nii.ac.jp
The SPIN model checker : primer and reference manual | CiNii Research CiNii 国立情報学
研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 …
研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学 …