Login / Signup
Nick Smallbone
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Bayesian Networks
Training Data
Nuclear Power Plant
Top Venues
CASE
</>
Publications
</>
David Thönnessen
,
Nick Smallbone
,
Martin Fabian
,
Koen Claessen
,
Stefan Kowalewski
Testing Safety PLCs Using QuickCheck.
CASE
(2019)