Model Checking Software

フォーマット:
電子ブック
責任表示:
International SPIN Workshop ; Ball, Thomas Jaudon ; Rajamani, Sriram K.
言語:
英語
出版情報:
Springer Berlin Heidelberg, 2003
著者名:
ISBN:
9783540401179 [3540401172]  CiNii Books  Webcat Plus  Google Books
9783540448297 [3540448292]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Proceedings of the 8th international SPIN workshop on Model checking of software

International SPIN Workshop, Dwyer, Matthew, ACM Sigsoft., Association for Computing Machinery-Digital Library.

Springer Berlin Heidelberg
7 電子ブック Model Checking Software

International SPIN Workshop, Graf, Susanne, Mounier, Laurent

Springer Berlin / Heidelberg
2 図書 Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

CAV (Conference), Etessami, Kousha, Rajamani, Sriram K.

Springer
8 電子ブック Theoretical and Practical Aspects of SPIN Model Checking

SPIN '99, Dams, Dennis

Springer Berlin Heidelberg
3 図書 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

SPIN, Bošnački, Dragan, Leue, Stefan

Springer
9 図書 Symbolic model checking for large software specifications

Chan, Woon Chung

UMI Dissertaion Services
4 図書 Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings

SPIN, Dwyer, Matthew, 1963-

Springer
10 図書 Systems and software verification : model-checking techniques and tools

Bérard, Béatrice

Springer
5 電子ブック SPIN Model Checking and Software Verification

International SPIN Workshop, Havelund, Klaus, Penix, John, Visser, Willem

Springer Berlin Heidelberg
11 電子ブック NIST workshop on ontology evaluation

Sriram, Ram D.

U.S. Dept. of Commerce, National Institute of Standards and Technology
6 電子ブック Model Checking Software

Dragan Bošnacki

Springer Berlin Heidelberg
12 図書 Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

EMSOFT, Henzinger, T. A. (Thomas A.), Kirsch, Christoph M., 1968-

Springer