Runtime Verification of A PLC System: An Industrial Case Study

The term verification can mean different things to different people based on their background and the context of research. Comparably the term runtime might bring about similar disarray with lesser confusion. Whilst a software application executes on a system, there are libraries and codes that faci...

Full description

Bibliographic Details
Main Author: Heidari, Mohammad
Format: Others
Language:English
Published: Mälardalens högskola, Akademin för innovation, design och teknik 2017
Subjects:
PLC
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35886