by venkatakalyan on Jun 28, 2012
- 296 views
This is a master’s thesis presentation....
This is a master’s thesis presentation.
The thesis is a qualitative case study about the application of a formal software verification technique on a module belonging to the standard called AUTOSAR.
- Total Views
- Views on SlideShare
- Embed Views