登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Global Specification and Validation of Embedded Systems
EISBN：9781402061530
PISBN：9781402061516
出版社：Springer Netherlands
出版类型：Monograph
出版时间：2007
作者：G. Nicolescu,A. A. Jerraya
主题词：Circuits and Systems,Computer-Aided Engineering (CAD,CAE) and Design,Simulation and Modeling,Theory of Computation,Special Purpose and Application-Based Systems
语种：英语
所属数据库：SpringerLink电子图书
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Embedded Systems Specification and Design Languages
  • 作者：Eugenio Villar
  • EISBN：9781402082979
  • 出版社：Springer Netherlands
  • 出版时间：2008
...

From Specification to Embedded Systems Application
  • 作者：Achim Rettberg,Mauro C. Zanella,Franz J. Rammig
  • EISBN：9780387275598
  • 出版社：Springer US
  • 出版时间：2005
...

UML-B Specification for Proven Embedded Systems Design
  • 作者：Jean Mermet
  • EISBN：9781402028670
  • 出版社：Springer US
  • 出版时间：2004
...

Specification and Design Methodology for Real-Time Embedded Systems
  • 作者：Randall S. Janka
  • EISBN：9781461508373
  • 出版社：Springer US
  • 出版时间：2002
...

UML-B Specification for Proven Embedded Systems Design
  • 作者：Fredrik Bernin,Michael Butler,Dominique Cansell,Stefan Hallerstede,Klaus Kronlöf,Alexander Krupp,Thierry Lecomte,Michael Lundell,Ola Lundkvist,Michele Marchetti,Wolfgang Mueller,Ian Oliver,Denis Sabatier,Tim Schattkowsky,Colin Snook,Nikolaos S. Voros,Yann Zimmermann
  • EISBN：9781402028670
  • 出版社：Springer US
  • 出版时间：2004
...

Specification and Design Methodology for Real-Time Embedded Systems
  • 作者：Randall S. Janka
  • EISBN：9781461508373
  • 出版社：Springer US
  • 出版时间：2002