Symbolic model checking for large software specifications | 金沢大学附属図書館 OPAC plus

Blank Cover Image

QRコード(所蔵情報)

Symbolic model checking for large software specifications

フォーマット:: 図書
責任表示:: by Woon Chung Chan
言語:: 英語
出版情報:: Ann Arbor, Mich. : UMI Dissertaion Services, 2000,c1999
形態:: viii, 148 p. : ill. ; 23 cm
著者名:: Chan, Woon Chung
書誌ID:: BA54476631

子書誌情報

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

主題:	コンピュータシステム．ソフトウェア
注記:	Bibliography: p. 126-148 Facsim. Thesis (Ph. D.)--University of Washington 1999 UMI number: 9952805
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Systems and software verification : model-checking techniques and tools Bérard, Béatrice Springer	7 図書 Behavioral intervals in embedded software : timing and power analysis of embedded real-time software processes Wolf, Fabian Kluwer Academic
2 図書 Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final … Deutsche Forschungsgemeinschaft, Ehrig, Hartmut, Damm, Werner, Desel, Jörg, Groβe-Rhode, Martin, Reif, Wolfgang, … Springer	8 電子ブック SPIN Model Checking and Software Verification International SPIN Workshop, Havelund, Klaus, Penix, John, Visser, Willem Springer Berlin Heidelberg
3 電子ブック Model Checking Software Dragan Bošnacki Springer Berlin Heidelberg	9 その他 Study on Planning Support MAS Model for Impact Analysis of Large-Scale Shopping Center in Japan 陳, 萍, Chan, P. 金沢大学
4 電子ブック Model Checking Software International SPIN Workshop, Ball, Thomas Jaudon, Rajamani, Sriram K. Springer Berlin Heidelberg	10 電子ブック 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
5 電子ブック Model Checking Software International SPIN Workshop, Graf, Susanne, Mounier, Laurent Springer Berlin / Heidelberg	11 論文 Differentical Effects of PAHs and PAHs-Quinone on Oxidative Stress Damage in A549 Cells Chung, Sang Woon, Toriba, Akira, Hayakawa, Kazuichi 金沢大学, 金沢大学21世紀COEプログラム「環日本海域の環境計測と長期・短期変動予測」
6 図書 Engineering theories of software construction Hoare, Tony, Broy, M., 1949-, Steinbrüggen, Ralf IOS Press	12 論文 An environmental quinoid polycyclic aromatic hydrocarbon, acenaphthenequinone(AcQ), modulates COX-2 expression through ROS generation and NF-kB activation in … Chung, Sang Woon, Chung, Hae Young, Toriba, Akira, Hayakawa, Kazuichi 金沢大学21世紀COEプログラム