Behavioral Intervals in Embedded Software

EISBN:9781475736496
PISBN:9781402071355
出版社:Springer US
出版类型:Contributed volume
出版时间:2002
版次:2002
作者:Fabian Wolf
主题词:Computer Science,Computer-Aided Engineering (CAD,CAE) and Design,Special Purpose and Application-Based Systems,Systems Theory,Control,Quality Control,Reliability,Safety and Risk
语种:英语
相关推荐

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