Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
A BOOK FOR ENGLISH STUDENTS AND THE ENGLISH CLASSROOM IT’S TIME FOR REAL ENGLISH NORTH AMERICA
[中]张民和 [加]ANDREW BEST MICHAEL VOTH编著2005 年出版222 页ISBN：
TRACKING OBJECTS IN 3D USING STEREO VISION:A REAL-TIME APPROACH BASED ON COLOR SEGMENTATION FOR USE
KAI HUGO HUSTOFT ENDRESEN2010 年出版95 页ISBN：9783843353328
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN：0124166199
机械系统控制软件 实时系统面向对象设计 Object Oriented Design in a Real-Time World
（美） D. M. Auslander，J. R. Ridgely，J. D. Ringgenberg著2004 年出版339 页ISBN：7302082332
机械系统的性能日益成为其控制软件的功能，因此，在系统设计和实现的每一个阶段，都必须考虑控制软件的计算能力及其所受到的限制。本书全面阐述了如何为今天日益复杂的机械设备构建实时控制软件。本书介绍了实时...
Compilers and Run-Time Environments For Distributed Memory Machines1992 年出版314 页ISBN：0444887121
J.W.DE BAKKER AND J.C.VAN VLIET2222 年出版431 页ISBN：0444862854
