A formal specification language for PLC-based control logic.

Authors :: Ljungkrantz, O.
Akesson, K.
Fabian, M.
Chengyin Yuan
Source :: 2010 8th IEEE International Conference on Industrial Informatics (INDIN); 2010, p1067-1072, 6p
Publication Year :: 2010

Language :: English
ISBNs :: 9781424472987
Database :: Complementary Index
Journal :: 2010 8th IEEE International Conference on Industrial Informatics (INDIN)
Publication Type :: Conference
Accession number :: 81413461
Full Text :: https://doi.org/10.1109/INDIN.2010.5549591