Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Book Informaton
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Author

Naijun Zhan; Shuling Wang; Hengjun Zhao

Year of Publication

1st ed. 2017

Publisher

Springer International Publishing

Pages

XV, 258

Language

en

ISBN

9783319470146, 9783319470160, 3319470140

ARI Id

1664756921309

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 5 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Computer simulation Computer software