Opening book details…
About this Engineering article
Safety Verification and Reachability Analysis for Hybrid Systems by Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri
- Publisher
- Elsevier Science; Elsevier ; Elsevier Ltd.; Elsevier BV (ISSN 1367-5788)
- Published
- 2009
- Language
- EN
- Field
- Engineering (Physical Sciences)
More by Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri
Browse all works by Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri