Normal view MARC view ISBD view

Zhan, Naijun,

Formal verification of Simulink/Stateflow diagrams : a deductive approach Naijun Zhan, Shuling Wang, Hengjun Zhao. - 1 recurso en línea

SpringerLink

Incluye referencias bibliográficas e índice

ISBN: 3319470167 9783319470160

Subjects--Uniform Titles:
SIMULINK.
Stateflow.
SIMULINK.
Stateflow.

Subjects--Topical Terms:
Software--Verification.

LC Class. No.: QA76.76.V47 / Z436 2016 EB