Formal verification of Simulink/Stateflow diagrams : a deductive approach / Naijun Zhan, Shuling Wang, Hengjun Zhao.
Zhan, Naijun, author.; Wang, Shuling, author.; Zhao, Hengjun, author.
2016
QA76.76.V47
Available Online

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
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.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources

Browse Subjects

Show more subjects...

Statistics

from
to
Export