Naijun Zhan Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
Viser 1 - 1 af 1 resultat
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach (Bog, Paperback / softback, Engelsk)
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat