書目名稱 | Real-Time: Theory in Practice | 副標(biāo)題 | REX Workshop, Mook, | 編輯 | J. W. Bakker,C. Huizing,G. Rozenberg | 視頻video | http://file.papertrans.cn/823/822305/822305.mp4 | 叢書名稱 | Lecture Notes in Computer Science | 圖書封面 |  | 描述 | In the past decade, the formal theory of specification,verfication and development of real-time programs has grownfrom work of a few specializedgroups to a real "bandwagon".Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchasprocess 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 asconsidering thedirections of ongoing research. The volume givesarepresentative picture of what is going on in the fieldworldwide,presented by eminent, active researchers. Thematerial in the volume wasprepared by the authors after theworkshop took place and reflects theresults of the workshopdiscussions. | 出版日期 | Conference proceedings 1992 | 關(guān)鍵詞 | Echt-Zeit-System-Spezifikation; Echt-Zeit-System-Verfikation; Echt-Zeit-Systeme; Hardware; Models of Tim | 版次 | 1 | doi | https://doi.org/10.1007/BFb0031984 | isbn_softcover | 978-3-540-55564-3 | isbn_ebook | 978-3-540-47218-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|