JQM - Java Quine McCluskey for minimization of Boolean functions.
An open process control and laser engraving software solution
SCADA HMI for substations, IoT and automation applications
Accent interfaces and controls systems through goals and policies
Generating PLC programs from formal specifications
Enhanced Modbus library implemented in the Java programming language
openSCADA® is an open source SCADA system written in JAVA