Soulat, Romain.
概観
著作: | 1 作品に 0 出版物中に 0 言語 |
---|
タイトル
The inverse method[electronic resource] :parametric verification of real-time embedded systems /
…で:
André, Etienne.; Soulat, Romain.
(言語・文字資料 (印刷物))