Formal verification of Simulink/Stateflow diagrams : a deductive approach / Naijun Zhan, Shuling Wang, Hengjun Zhao.
2016
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal verification of Simulink/Stateflow diagrams : a deductive approach / Naijun Zhan, Shuling Wang, Hengjun Zhao.
Author
Zhan, Naijun, author.
ISBN
9783319470160 (electronic book)
3319470167 (electronic book)
9783319470146
3319470167 (electronic book)
9783319470146
Published
Cham, Switzerland : Springer, [2016].
Copyright
©2017
Language
English
Description
1 online resource.
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 18, 2016).
Added Author
Wang, Shuling, author.
Zhao, Hengjun, author.
Zhao, Hengjun, author.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources