Ihre Suche nach „Deductive Verification“ ergab 1 Treffer:
Filter
–
Download
PDF
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
117,69 €*