发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - Assertion checking of control dominated systems with nonlinear solvers

[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - Assertion checking of control dominated systems with nonlinear solvers

Ugarte, I.; Sanchez, P.

作者Ugarte, I.; Sanchez, P.
文件大小98.28KB
发表时间2006
DOI10.1109/memcod.2006.1695929
页码200-200

← 返回【学霸图书馆】主页