Behavioral Intervals in Embedded Software

EISBN:9781475736496
PISBN:9781441952967
出版社:Springer US
出版类型:Contributed volume
出版时间:2002
作者:Fabian Wolf
主题词:Computer-Aided Engineering (CAD,CAE) and Design,Special Purpose and Application-Based Systems,Computing Methodologies,Systems Theory,Control,Quality Control,Reliability,Safety and Risk
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Behavioral Intervals in Embedded Software

  • 作者:Fabian Wolf
  • EISBN:9781475736496
  • 出版社:Springer US
  • 出版时间:2002

Embedded Software

  • 作者:Rajeev Alur,Insup Lee
  • EISBN:9783540452126
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Embedded Software

  • 作者:Walls,Colin
  • PISBN:9780124158221
  • 出版时间:2012

Embedded Software

  • 作者:Alberto Sangiovanni-Vincentelli,Joseph Sifakis
  • EISBN:9783540458289
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Embedded Software

  • 作者:Thomas A. Henzinger,Christoph M. Kirsch
  • EISBN:9783540454496
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Embedded Software

  • 作者:Alberto Sangiovanni-Vincentelli,Joseph Sifakis
  • EISBN:9783540458289
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002