The modelling for success/failure of operations in Kotlin and KMM
Components for IEC61375 standardised communication
Draws signalling charts, block diagrams and graphs from text input.
A railway signalling simulation game
AMICI enables real-time execution of cyber-physical models (Simulink)
Software for simulation of large-scale signalling systems.