Formal verification framework for automotive UML designs
Files
Department
Computer Science & Engineering Department
Abstract
[abstract not available]
Publication Date
5-28-2016
Document Type
Book Chapter
Book Title
ACM International Conference Proceeding Series
ISBN
SCOPUS_ID:84985991857
Publisher
Association for Computing Machinery
City
New York, NY
First Page
21
Last Page
27
Keywords
Correctness proofs, ISO-26262, Model checking, System verification, UML design
Recommended Citation
APA Citation
Bahig, G.
&
El-Kadi, A.
(2016).Formal verification framework for automotive UML designs. Association for Computing Machinery. , 21-27
https://fount.aucegypt.edu/faculty_book_chapters/335
MLA Citation
Bahig, Ghada, et al.
Formal verification framework for automotive UML designs. Association for Computing Machinery, 2016.pp. 21-27
https://fount.aucegypt.edu/faculty_book_chapters/335