Explore projects
-
Eclipse Projects / papyrus / org.eclipse.papyrus-classic
Eclipse Public License 2.0Updated -
-
-
Eclipse Projects / Lsat / lsat
Eclipse Public License 2.0Updated -
Eclipse Projects / Eclipse Signalling Engineering Toolbox / set
Eclipse Public License 2.0Updated -
Eclipse Projects / Eclipse TRACE4CPS / trace4cps
Eclipse Public License 2.0Trace4cps project
Updated -
UpdatedUpdated
-
Tristan Albers / lsat
Eclipse Public License 2.0Updated -
-
Nils Peters / set
Eclipse Public License 2.0Updated -
Paul Nelissen / lsat
Eclipse Public License 2.0Updated -
Gao JL / org.eclipse.papyrus-desktop
Eclipse Public License 2.0Updated -
Edo Mangelaars / trace4cps-thesis
Eclipse Public License 2.0Fork of Eclipse TRACE4CPS™ to work on enhancements of the runtime verification features for my Master's thesis.
⚠ ️ Changes are in the thesis branch!UpdatedUpdated -
-
Gert-Jan van den Braak / lsat
Eclipse Public License 2.0Updated -
-
Filippo Leonardi / lsat
Eclipse Public License 2.0Updated -
-
Eclipse Projects / Eclipse Signalling Engineering Toolbox / Toolbox model
Eclipse Public License 2.0Updated