Specification and Design Methodology for Real-Time Embedded Systems

EISBN:9781461508373
PISBN:9781461352631
出版社:Springer US
出版类型:Contributed volume
出版时间:2002
作者:Randall S. Janka
主题词:Circuits and Systems,Electrical Engineering,Signal,Image and Speech Processing,Special Purpose and Application-Based Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Specification and Design Methodology for Real-Time Embedded Systems

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

Real-Time Embedded Systems

  • 作者:Fan,Xiaocong
  • PISBN:9780128015070
  • 出版时间:2015

Real-Time Embedded Systems

  • 作者:Wang
  • PISBN:9781119420712
  • 出版社:John Wiley & Sons, Inc
  • 出版时间:2017

Real-Time Object Uniform Design Methodology with UML

  • 作者:Bui Minh Duc
  • EISBN:9781402059773
  • 出版社:Springer Netherlands
  • 出版时间:2007

Specification and Compositional Verification of Real-Time Systems

  • 作者:Jozef Hooman
  • EISBN:9783540466024
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Analysis and Synthesis of Distributed Real-Time Embedded Systems

  • 作者:Paul Pop,Petru Eles,Zebo Peng
  • EISBN:9781402028731
  • 出版社:Springer US
  • 出版时间:2004