Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
Inbunden
1 599 kr
Del 16229 i serien Lecture Notes in Computer Science
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
1 059 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2025-11-12
- Mått155 x 235 x 23 mm
- Vikt628 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor392
- FörlagSpringer Verlag, Singapore
- ISBN9789819542123
Tillhör följande 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
699 kr
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
Häftad
1 599 kr
Del 14215