Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| From Conceptual Models To Safety Assurance | 3 | 0.54 | 2014 |
| Extracting Models from ISO 26262 for Reusable Safety Assurance. | 12 | 0.91 | 2013 |
| Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. | 2 | 0.39 | 2012 |
| A software product certification model | 8 | 0.83 | 2010 |
| Requirements Certification for Offshoring Using LSPCM | 2 | 0.39 | 2010 |