Testing Safety PLCs Using QuickCheck
Paper i proceeding, 2019
Författare
David Thonnessen
RWTH Aachen University
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Funktionell programmering
Martin Fabian
Chalmers, Elektroteknik, System- och reglerteknik, Automation
Koen Claessen
Chalmers, Data- och informationsteknik, Funktionell programmering
Stefan Kowalewski
RWTH Aachen University
IEEE International Conference on Automation Science and Engineering
21618070 (ISSN) 21618089 (eISSN)
Vol. 2019-August 1388-1393 8843227Vancouver, Canada,
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1109/COASE.2019.8843227