Formal verification of Simulink/Stateflow diagrams a deductive approach

Bibliographic Details
Main Authors:	Zhan, Naijun (Author), Wang, Shuling (Author), Zhao, Hengjun (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic Resource
Language:	English
Published:	Cham Springer [2017]
Subjects:	SIMULINK. Stateflow. Computer software > Verification. Electronic books.
Online Access:	Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy