Model Checking application on Function Block Diagram model
Date issued
2020
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE
Abstract
Description
Subject(s)
Citation
AUSBERGER, T., KUBÍČEK, K., MEDVECOVÁ, P., MYSLIVEC, T., ŠTĚTINA, M. Model Checking application on Function Block Diagram model. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. New York: IEEE, 2020. s. 1807-1814. ISBN 978-1-72818-956-7, ISSN 1946-0740.