[M] Global Specification and Validation of Embedded Systems

著者: G. Nicolescu A. A. Jerraya 出版者: Springer Netherlands (出版日: 2007)

• 書誌詳細

形態:	オンラインリソース
言語:	English
ページ数と大きさ:
件名:
分類:
識別子:	ISBN: 9781402061530 9781402061516 DOI: 10.1007/978-1-4020-6153-0
アブストラクト:
注記: