Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi

Journal title: Concurrency Specification and Programming 2019

Journal number: Vol-2571

Journal publisher: CEUR-WS

Published year: 2019

ISSN: 1613-0073