Your search returned 2 results.

Sort
Results
Formal verification of Simulink/Stateflow diagrams : a deductive approach / Naijun Zhan, Shuling Wang, Hengjun Zhao.

by Zhan, Naijun, autor | Wang, Shuling, autor | Zhao, Hengjun, autor.

Material type: bookE-book Publisher: Cham, Switzerland : Springer, [2016]Copyright date: 2017Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.76.V47 Z436 2016 EB reference

Feedback Control Systems : The MATLAB®/Simulink® Approach / by Farzin Asadi, Robert E. Bolanos, Jorge Rodríguez

by Asadi, Farzin, autor | Bolanos, Robert E, autor | Rodríguez, Jorge, autor.

Edition: 1st edition 2019Material type: bookE-book Publisher: Cham : Springer International Publishing, 2019Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TJ216 2019 EB reference

Pages