Aspect-Oriented Software Development Aspect Mining - 2008 -
Requirements Engineering Requirements Specification Lecture-22.
Symbolic Simulation based Transient Fault Injection Methodology Ashish Darbari and Bashir Al Hashimi Technical Report No. 15376 Electronics and Computer.
Symbolic Simulation based Transient Fault Injection Methodology
Synthesis of Embedded Software Using Free-Choice Petri Nets