A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program
-
Updated
Dec 4, 2015 - Haskell
A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program
A 12-column grid system for your web application
Sequential Function Chart (SFC) algorithm design for the design of the Logic Control of a Washing Machine
Shortest path search simulation using ACO (Ant Colony Optimization) algorithm
Snes9x - Portable Super Nintendo Entertainment System (TM) emulator
Service Graph embedding algorithms for ESCAPE
instantly preview a Vue/React component with Vite
modeling by SFC of a mechanical system used for loading and unloading of goods, composed by two self-propelled carts that are able to move themselves back and forth on the rails.
Editor for the CLApp language giving the possibility of creating flow chart projects and export them to run them in a standalone mode.
Simple story points estimation
Add a description, image, and links to the sfc topic page so that developers can more easily learn about it.
To associate your repository with the sfc topic, visit your repo's landing page and select "manage topics."