The inverse method parametric verification of real-time embedded systems /

保存先:
書誌詳細
第一著者: André, Etienne
団体著者: ebrary, Inc
その他の著者: Soulat, Romain
フォーマット: 電子媒体 eBook
言語:英語
出版事項: Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013.
シリーズ:Focus series in computer engineering and IT,
主題:
オンライン・アクセス:An electronic book accessible through the World Wide Web; click to view
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!