Mendeley出力
＜図書＞
Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings
| 責任表示 | David de Frutos-Escrig, Manuel Núñes (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 3235 |
| データ種別 | 図書 |
| 出版情報 | Berlin : Springer , c2004 |
| 本文言語 | 英語 |
| 大きさ | x, 375 p. : ill. ; 24 cm |
| 概要 | This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in Septe...ber 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection. 続きを見る |
| 電子版へのリンク |
https://hdl.handle.net/2324/7005205 https://hdl.handle.net/2324/7005272 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 2004 |
|
061212004003095 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *FORTE (2004 : Madrid, Spain) Frutos-Escrig, David de Núñes, Manuel IFIP Working Group 6.1 (24th : 2004 : Madrid, Spain) |
| 件 名 | LCSH:Formal methods (Computer science) -- Congresses
全ての件名で検索
LCSH:Electronic data processing -- Distributed processing -- Congresses 全ての件名で検索 LCSH:Computer network protocols -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.9.F67 |
| 書誌ID | 1001158364 |
| ISBN | 3540232524 |
| NCID | BA68987515 |
| 巻冊次 | ISBN:3540232524 |
| 登録日 | 2009.09.17 |
| 更新日 | 2017.02.18 |