automation-systems

There are 5 repositories under automation-systems topic.

Husseinfo/tracker
Face recognition based attendance system
Language:HTML43 2 1124
shubhamjha25/RAS
Restaurant Automation System Software
Language:JavaScript26 1 29
igor-buzhinsky/modchk-to-spin
Converter of function block models from NuSMV to Promela (SPIN)
Language:Java1 1 00
igor-buzhinsky/formal_testing_in_closed_loop
Tool to test automation systems by means of model checking
Language:Java0 1 00
igor-buzhinsky/indin2015_source
Coverage-based test generation for IEC 61499 function blocks
Language:Java0 1 00