Skip to content

A tool that enables the designer to model Cyber-physical systems and verify their correctness

Notifications You must be signed in to change notification settings

IG-ReDCAD/BPMN4CPS-Tool

About

A tool that enables the designer to model Cyber-physical systems and verify their correctness

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages