A formal specification language for PLC-based control logic.

التفاصيل البيبلوغرافية
العنوان: A formal specification language for PLC-based control logic.
المؤلفون: Ljungkrantz, O., Akesson, K., Fabian, M., Chengyin Yuan
المصدر: 2010 8th IEEE International Conference on Industrial Informatics (INDIN); 2010, p1067-1072, 6p
قاعدة البيانات: Complementary Index
الوصف
ردمك:9781424472987
DOI:10.1109/INDIN.2010.5549591