REAL-TIME SYSTEMS AND THEIR PROGRAMMING LANGUAGES
ALAN BURNS ANDY WELLINGS2222 年出版575 页ISBN：0201175290
REAL-TIME EXPERT SYSTEMS COMPUTER ARCHITECTURE
ROBERT F.HODSON AND ABRAHAM KANDEL1991 年出版292 页ISBN：0849342155
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页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：
DESIGNING AND PROGRAMMING MODERN COMPUTER SYSTEMS VOLUME Ⅱ SUPERCOMPUTING SYSTEMS:RECONFIGURABLE ARC
SVETLANA P.KARTASHEV STEVEN I.KARTASHEEV2222 年出版428 页ISBN：0132014351
McGraw-Hill PERSONAL COMPUTER PROGRAMMING ENCYCLOPEDIA LANGUAGES AND OPERATING SYSTEMS
1985 年出版696 页ISBN：0070053898
