Formal Modeling and Analysis of Timed Systems | 金沢大学附属図書館 OPAC plus

>> Google Books

Formal Modeling and Analysis of Timed Systems

フォーマット:

電子ブック

責任表示:

FORMATS 2003 ; Larsen, Kim G. ; Niebert, Peter

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2004

著者名:

ISBN:

9783540216711 [3540216715]

9783540409038 [3540409033]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

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

詳細

その他の標題:	FIRST INTERNATIONAL WORKSHOP, FORMATS 2003, MARSEILLE, FRANCE, SEPTEMBER 6-7, 2003, REVISED PAPERS FORMAL MODELING & ANALYSIS OF TIMED SYSTEMS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000212148
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed … FORMATS, Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lakhnech, Yassine, Yovine, Sergio Springer	7 図書 Electronics : models, analysis, and systems Gottling, James G., 1932- M. Dekker
2 電子ブック Tools and Algorithms for the Construction and Analysis of Systems Groote, Jan Friso, Larsen, Kim Guldstrand Springer International Publishing	8 図書 Empirical analysis for expert systems Politakis, Peter G. Pitman Advanced Pub. Program
3 電子ブック Tools and Algorithms for the Construction and Analysis of Systems Groote, Jan Friso, Larsen, Kim Guldstrand Springer International Publishing	9 電子ブック Introduction to Modeling and Analysis of Stochastic Systems Kulkarni, V. G. Springer New York
4 電子ブック Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems FORMATS 2004, Lakhnech, Yassine, Yovine, Sergio Springer Berlin / Heidelberg	10 電子ブック Tools and Algorithms for the Construction and Analysis of Systems Brinksma, Brinksma, Ed, Cleaveland, W. R., Larsen, K. G., Margaria, T., Steffen, Bernhard Springer Berlin Heidelberg
5 図書 Reasoning into reality : a system-cybernetics model and therapeutic interpretation of Buddhist middle path analysis Fenner, Peter G., 1949- Wisdom Publications	11 電子ブック Stochastic Modeling and Analysis of Manufacturing Systems Glynn, Peter; Yao, David D. Springer New York
6 電子ブック Validated Designs for Object-oriented Systems Fitzgerald, John, Larsen, Peter Gorm, Mukherjee, Paul, Plat, Nico, Verhoef, Marcel, Larsen, Peter G. Springer London	12 電子ブック Computer Aided Verification CAV (Conference), Larsen, Kim G., Skou, Arne Springer Berlin Heidelberg