![](/img/cover-not-exists.png)
[ACM Press the 2nd Africa and Middle East Conference - Cairo, Egypt (2016.05.28-2016.05.29)] Proceedings of the 2nd Africa and Middle East Conference on Software Engineering - AMECSE '16 - Formal Verification Framework for Automotive UML Designs
Bahig, Ghada, El-Kadi, AmrYear:
2016
Language:
english
DOI:
10.1145/2944165.2944169
File:
PDF, 366 KB
english, 2016