2008 | ||
---|---|---|
3 | EE | Thomas Wilson, Savi Maharaj, Robert G. Clark: Flexible and configurable verification policies with Omnibus. Software and System Modeling 7(3): 257-272 (2008) |
2005 | ||
2 | EE | Thomas Wilson, Savi Maharaj, Robert G. Clark: Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. SEFM 2005: 150-159 |
1994 | ||
1 | EE | Barry Beith, Thyra L. Rauch, Thomas Wilson: Issues in human factors organization and practices. CHI Conference Companion 1994: 333 |
1 | Barry Beith | [1] |
2 | Robert G. Clark | [2] [3] |
3 | Savi Maharaj | [2] [3] |
4 | Thyra L. Rauch | [1] |