Embedded Systems Specification and Design Languages

EISBN:9781402082979
PISBN:9781402082962
出版社:Springer Netherlands
出版类型:Monograph
出版时间:2008
作者:Eugenio Villar
主题词:Circuits and Systems,Computer Hardware,Special Purpose and Application-Based Systems,Software Engineering/Programming and Operating Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Advances in Design and Specification Languages for Embedded Systems

  • 作者:Sorin A. Huss
  • EISBN:9781402061493
  • 出版社:Springer Netherlands
  • 出版时间:2007

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

UML-B Specification for Proven Embedded Systems Design

  • 作者:Jean Mermet
  • EISBN:9781402028670
  • 出版社:Springer US
  • 出版时间:2004

Advances in Design and Specification Languages for SoCs

  • 作者:Pierre Boulet
  • EISBN:9780387261515
  • 出版社:Springer US
  • 出版时间:2005