Real-time Systems: Modeling, Design And Applications

EISBN:9789812708472
PISBN:9789810244248
出版社:World Scientific Publishing Company
出版时间:2000-09-01
作者:Cornell,Aurel;Ionescu,Dan
主题词:Computer Science/IT
语种:英语
所属数据库:ProQuest Ebook Central
丛书题名:Amast Series In Computing
相关推荐

Formal Methods for the Design of Real-Time Systems

  • 作者:Marco Bernardo,Flavio Corradini
  • EISBN:9783540300809
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Software Design for Real-time Systems

  • 作者:J. E. Cooling
  • EISBN:9781489929570
  • 出版社:Springer US
  • 出版时间:1991

Introduction to the Formal Design of Real-Time Systems

  • 作者:David F. Gray
  • EISBN:9781447108894
  • 出版社:Springer London
  • 出版时间:1999

Challenges in Design and Implementation of Middlewares for Real-Time Systems

  • 作者:Wei Zhao
  • EISBN:9781461516958
  • 出版社:Springer US
  • 出版时间:2001

Specification and Design Methodology for Real-Time Embedded Systems

  • 作者:Randall S. Janka
  • EISBN:9781461508373
  • 出版社:Springer US
  • 出版时间:2002

Specification and Design Methodology for Real-Time Embedded Systems

  • 作者:Randall S. Janka
  • EISBN:9781461508373
  • 出版社:Springer US
  • 出版时间:2002