Kerstin I Eder - Research Outputs - University of Bristol

View Scopus Profile

EmailKerstin.Ederbristol.acuk

BS8 1UB
BS8 1SS
United Kingdom

57 Conference Contribution (Conference Proceeding)
28 Article (Academic Journal)
7 Conference Paper
3 Preprint
More

1 results

Filter

2014
Formal Verification of Control System Properties with Theorem Proving
Araiza Illan, D., Eder, K. I. & Richards, A. G., 9 Jul 2014.
Research output: Contribution to conference › Conference Poster › peer-review