Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fr�anzle, Deepak Kapur, Naijun Zhan.

by Fr�anzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Formal Verification of Simulink/Stateflow Diagrams [electronic resource] : A Deductive Approach / by Naijun Zhan, Shuling Wang, Hengjun Zhao.

by Zhan, Naijun [author.] | Wang, Shuling [author.] | Zhao, Hengjun [author.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available