| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, ... Notes in Computer Science, Band 9984) | Taschenbuch | 978-3-319-47676-6 | 2016 | Martin Fränzle · Deepak Kapur |
| Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings | Paperback | 978-3-319-47678-0 | 2016 | Martin Fränzle · Deepak Kapur |
| Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach | Taschenbuch | 978-3-319-83638-6 | 2018 | |
| Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach | Gebunden | 978-3-319-47014-6 | 2016 | Shuling Wang · Hengjun Zhao |