Soulat, Romain.
概要
作品: | 1 作品在 0 项出版品 0 种语言 |
---|
书目信息
The inverse method[electronic resource] :parametric verification of real-time embedded systems /
by:
André, Etienne.; Soulat, Romain.
(书目-语言数据,印刷品)