Zhan, Naijun; Wang, Shuling; Zhao, Hengjun Formal verification of Simulink/Stateflow diagrams. A deductive approach. (English) Zbl 1412.68006 Cham: Springer (ISBN 978-3-319-47014-6/hbk; 978-3-319-47016-0/ebook). xv, 258 p. (2017). Reviewer: Andreas Maletti (Leipzig) MSC: 68-02 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{N. Zhan} et al., Formal verification of Simulink/Stateflow diagrams. A deductive approach. Cham: Springer (2017; Zbl 1412.68006) Full Text: DOI
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun Formal modelling, analysis and verification of hybrid systems. (English) Zbl 1444.68105 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 207-281 (2013). MSC: 68Q60 03B70 68V15 93C30 PDFBibTeX XMLCite \textit{N. Zhan} et al., Lect. Notes Comput. Sci. 8050, 207--281 (2013; Zbl 1444.68105) Full Text: DOI