Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
Inbunden
1 227 kr
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Häftad, Engelska, 2025
Del 16229 i serien Lecture Notes in Computer Science
812 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11180
Del 14216
Del 11750
Big Data Privacy Preservation for Cyber-Physical Systems
Miao Pan, Jingyi Wang, Sai Mounika Errapotu, Xinyue Zhang, Jiahao Ding, Zhu Han
Häftad
538 kr
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
Häftad
1 227 kr
Del 14215