Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
Inbunden
1 569 kr
Del 16229 - 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 169 kr
Beställningsvara. Skickas inom 7-10 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 14216
Automated Technology for Verification and Analysis
Étienne André, Jun Sun, Etienne Andre
Häftad
1 059 kr
Del 11750
Formal Modeling and Analysis of Timed Systems
Étienne André, Mariëlle Stoelinga, Etienne Andre, Marielle Stoelinga
Häftad
709 kr
Big Data Privacy Preservation for Cyber-Physical Systems
Miao Pan, Jingyi Wang, Sai Mounika Errapotu, Xinyue Zhang, Jiahao Ding, Zhu Han
Häftad
689 kr
Formal Verification of Simulink/Stateflow Diagrams
Naijun Zhan, Shuling Wang, Hengjun Zhao
Häftad
1 569 kr
Del 14215
Automated Technology for Verification and Analysis
Étienne André, Jun Sun, Etienne Andre
Häftad
1 129 kr
Formal Methods
Marieke Huisman, Corina Păsăreanu, Naijun Zhan, Corina Pasareanu, Corina Păsăreanu, Corina P¿s¿reanu
Häftad
1 549 kr