"Formal Design and Implementation of Supervisory Controller for a Didactic ..."

L. D. James, Carlos Alberto Teixeira, André B. Leal (2019)

Details and statistics

DOI: 10.1109/ICIT.2019.8755130

access: closed

type: Conference or Workshop Paper

metadata version: 2021-05-21

a service of  Schloss Dagstuhl - Leibniz Center for Informatics