Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

＜図書＞
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

責任表示	J.W. de Bakker ... [et al.], eds
シリーズ	Lecture notes in computer science ; 600
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , c1992
本文言語	英語
大きさ	viii, 723 p. : ill, ; 25 cm
概要	In the past decade, the formal theory of specification, verfication and development of real-time programs has grownfrom work of a few specialized groups to a real "bandwagon."Many eminent research gr...ups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchas process algebra, temporal logic, and model checking.This volume contains the proceedings of a workshop dedicatedto the theory of real-time with the purpose of stepping backand viewing the results achieved as well as considering thedirections of ongoing research. The volume gives arepresentative picture of what is going on in the fieldworldwide, presented by eminent, active researchers. Thematerial in the volume was prepared by the authors after theworkshop took place and reflects the results of the workshopdiscussions. 続きを見る
電子版へのリンク	https://hdl.handle.net/2324/7019191

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: gw	理系図自動書庫	408/L 49	1992		061232004010255		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Includes bibliographical references
著者標目	*REX Workshop (1991 : Mook, Netherlands) Bakker, Jacobus Willem de, 1939-
件　名	LCSH:Real-time data processing -- Congresses 全ての件名で検索
分　類	LCC:QA76.54 DC20:005.1/1
書誌ID	1000986795
ISBN	3540555641
NCID	BA17202182
巻冊次	: gw ; ISBN:3540555641 : us ; ISBN:0387555641
登録日	2009.09.16
更新日	2017.02.18