Scalable and Optimized Hybrid Verification of Embedded Software.
- Published in:
- Journal of Electronic Testing, 2015, v. 31, n. 2, p. 151, doi. 10.1007/s10836-015-5518-4
- By:
- Publication type:
- Article
Works matching DE "AUTOMOTIVE engineering software"
Results: 4
1
2
Fitting the CHESS Approach to the AUTOSAR Development Flow.
- Published in:
- Ada User Journal, 2016, v. 37, n. 3, p. 150
- By:
- Publication type:
- Article
3
Volvo Group standardises simulation on MSC.Software's MD Nastran.
- Published in:
- Noise & Vibration Worldwide, 2007, v. 38, n. 8, p. 3
- Publication type:
- Article
4
Introduction to the Software Engineering and Formal Methods 2013 special issue.
- Published in:
- 2017
- By:
- Publication type:
- Editorial