熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 6 筆, 頁數 1 / 1
呈現:
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
1 Introduction.- 2 Preliminaries.- 3 Unifying Theories of Programming.- 4 Simulink.- 5 Stateflow and... more |
|||
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
1 Introduction.- 2 Preliminaries.- 3 Unifying Theories of Programming.- 4 Simulink.- 5 Stateflow and... more |
|||
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... more |
|||
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contai... more |
|||
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, P
This book constitutes the refereed proceedings of the Second International Symposium on Dependable S... more |
|||
Simulation and Optimization of Furnaces and Kilns for Nonferrous Metallurgical Engineering
thermal energy engineering, chemical engineering, and mechanical engineering. Chi Mei, Jiemin Zhou, Xiaoqi Peng, Naijun Zhou...... more |