the first posting
I am interested in industrial automation system, such as software-based PLC. Recent researches include industrial IoT (based on OPC Unified Architecture) and formal verification of PLC software.
I am interested in industrial automation system, such as software-based PLC. Recent researches include industrial IoT (based on OPC Unified Architecture) and formal verification of PLC software.