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

EISBN:9781461544371
PISBN:9781461369981
出版社:Springer US
出版类型:Contributed volume
出版时间:2000
作者:Filip Thoen,Francky Catthoor
主题词:Computer-Aided Engineering (CAD,CAE) and Design,Special Purpose and Application-Based Systems,Electrical Engineering
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

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

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

Real-Time Embedded Systems

  • 作者:Wang
  • PISBN:9781119420712
  • 出版社:John Wiley & Sons, Inc
  • 出版时间:2017

Real-Time Embedded Systems

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

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

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

Memory Controllers for Real-Time Embedded Systems

  • 作者:Benny Akesson,Kees Goossens
  • EISBN:9781441982070
  • 出版社:Springer New York
  • 出版时间:2012

Specification and Design Methodology for Real-Time Embedded Systems

  • 作者:Randall S. Janka
  • EISBN:9781461508373
  • 出版社:Springer US
  • 出版时间:2002