Primary tabs

Most recent publications

In MBSE Seminar on Uncertainty, Nanjing University, China, 2017.
Talk, keynote
2017
In Advances in Model-Based Testing (A-MOST), Tokyo, Japan, 2017.
Talk, keynote
2017

News

Students under supervision

Find publication

Export 10 results:
2017

Talks, keynote

In Advances in Model-Based Testing (A-MOST), Tokyo, Japan, 2017.
Status: Published
In MBSE Seminar on Uncertainty, Nanjing University, China, 2017.
Status: Published

Technical reports

2007

Technical reports

Deptartment of Computer Science, The University of Sheffield, 2007.
Status: Published