相关推荐

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

  • 作者:Dominique Borrione
  • EISBN:9789048193042
  • 出版社:Springer Netherlands
  • 出版时间:2010

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

  • 作者:Filip Thoen,Francky Catthoor
  • EISBN:9781461544371
  • 出版社:Springer US
  • 出版时间:2000

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

  • 作者:Filip Thoen,Francky Catthoor
  • EISBN:9781461544371
  • 出版社:Springer US
  • 出版时间:2000

Embedded Systems Design Based on Formal Models of Computation

  • 作者:Ivan Radojevic,Zoran Salcic
  • EISBN:9789400715943
  • 出版社:Springer Netherlands
  • 出版时间:2011

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

  • 作者:Selic,Bran
  • PISBN:9780124166196
  • 出版时间:2013

Real-Time Embedded Systems

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