Formal Verification of Simulink/Stateflow Diagrams

A Deductive Approach

Zhan, Naijun Wang, Shuling Zhao, Hengjun

出版社：Springer International Publishing Ag 出版年月：2018年 06月
装丁：PAP 言語：ENG

税込価格：

27,423円

海外在庫あり 通常２～５週間で出荷

Dependable Software Engineering: Theories, Tools, and Applications

Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science .9984

Herausgegeben von Fraenzle, Martin Kapur, Deepak Zhan, Naijun

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 10月
装丁：PAP 版次：1st ed. 2016. 2016. xviii

税込価格：

11,921円

海外在庫あり 通常２～５週間で出荷

Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Lecture Notes in Computer Science 13047

Herausgegeben:Huisman, Marieke Pasareanu, Corina Zhan, Naijun

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 版次：1st ed. 2021. 2021. xix

税込価格：

26,230円

海外在庫あり 通常２～５週間で出荷

Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Lecture Notes in Computer Science .11180

Herausgegeben von Jones, Cliff Wang, Ji Zhan, Naijun

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 版次：1st ed. 2018. 2018. xii

税込価格：

11,921円

海外在庫あり 通常２～５週間で出荷