UML-B Specification for Proven Embedded Systems Design

EISBN:9781402028670
PISBN:9781441952561
出版社:Springer US
出版类型:Contributed volume
出版时间:2004
作者: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
主题词:Electrical Engineering,Complexity,Mathematical Modeling and Industrial Mathematics,System Performance and Evaluation,Engineering Design,Electronics and Microelectronics,Instrumentation
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

UML-B Specification for Proven Embedded Systems Design

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

Embedded Systems Specification and Design Languages

  • 作者:Eugenio Villar
  • EISBN:9781402082979
  • 出版社:Springer Netherlands
  • 出版时间:2008

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

Advances in Design and Specification Languages for Embedded Systems

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

Global Specification and Validation of Embedded Systems

  • 作者:G. Nicolescu,A. A. Jerraya
  • EISBN:9781402061530
  • 出版社:Springer Netherlands
  • 出版时间:2007