From Specification to Embedded Systems Application

EISBN:9780387275598
PISBN:9780387275574
出版社:Springer US
出版类型:Proceedings
出版时间:2005
作者:Achim Rettberg,Mauro C. Zanella,Franz J. Rammig
主题词:Computer Communication Networks,Artificial Intelligence (incl. Robotics),Operating Systems,Information Systems and Communication Service,Software Engineering/Programming and Operating Systems
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Embedded Systems Specification and Design Languages

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

Global Specification and Validation of Embedded Systems

  • 作者:G. Nicolescu,A. A. Jerraya
  • EISBN:9781402061530
  • 出版社: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

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

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