![]() | ![]() |
2009 | ||
---|---|---|
2 | EE | Darren Galpin, Cormac Driver, Siobhán Clarke: Modelling hardware verification concerns specified in the e language: an experience report. AOSD 2009: 207-212 |
2002 | ||
1 | EE | Mike Bartley, Darren Galpin, Tim Blackmore: A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. DAC 2002: 819-823 |
1 | Mike Bartley | [1] |
2 | Tim Blackmore | [1] |
3 | Siobhán Clarke | [2] |
4 | Cormac Driver | [2] |