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. ACM International Conference Proceeding Series (pp. 21-27). Association for Computing Machinery.
MLA Citation
Bahig, Ghada, et al.
"Formal verification framework for automotive UML designs." ACM International Conference Proceeding Series, Association for Computing Machinery, 2016. pp. 21-27