この情報を出力する

このページのリンク

引用にはこちらのURLをご利用ください

他の検索サイト

利用統計

  • このページへのアクセス：9回
  • 貸出数：0回
    (1年以内の貸出数：0回)

＜図書＞
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : Revised lectures

責任表示 Marco Bernardo, Flavio Corradini (eds.)
シリーズ Lecture notes in computer science ; 3185
データ種別 図書
出版情報 Berlin : Springer , c2004
本文言語 英語
大きさ vi, 293 p. : ill. ; 24 cm
概要 This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Commu...ication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004. SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains. The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems. 続きを見る
電子版へのリンク https://hdl.handle.net/2324/7005200

所蔵情報



理系図 自動書庫 408/L 49 2004
061212004002663

書誌詳細

一般注記 Includes bibliographical references and index
著者標目 Bernardo, Marco
Corradini, Flavio
*International School on Formal Methods for the Design of Computer, Communication and Software Systems (2004 : Bertinoro, Italy)
件　名 LCSH:Computer software
LCSH:Computer architecture
LCSH:System design
LCSH:Formal methods (Computer science)
書誌ID 1001145079
ISBN 3540230688
NCID BA68904030
巻冊次 ISBN:3540230688
登録日 2009.09.17
更新日 2017.02.18

類似資料