SYSTEML ANALYSIS AND DESIGN OF REAL-TIME MANAGEMENT INFORMATION SYSTEMS
ROBERT J.THIERAUF1975 年出版607 页ISBN:
Formal techniques in real-time and fault-tolerant systems
(Jan); Vytopil;J.1993 年出版208 页ISBN:0792393325
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN:0131630237
Real-Time Biomolecular Simulations The Behavior of Biological Macromolecules from a Cellular Systems
Michael H.Peters2007 年出版153 页ISBN:
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN:3540219749
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN:9783540752202
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN: