Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Integrating AADL-Based Tool Chain into Existing Industrial Processes | 1 | 0.36 | 2011 |
| Establishing linux driver verification process | 9 | 0.70 | 2009 |
| Formal methods in industrial software standards enforcement | 9 | 0.75 | 2006 |
| Using ASM specifications for compiler testing | 8 | 0.54 | 2003 |