[M] Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

著者: S. Ramesh Prahladavaradan Sampath 出版者: Springer Science+Business Media B.V. (出版日: 2007)

• 書誌詳細

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