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 TRACE4CPS / trace4cps
Eclipse Public License 2.0Trace4cps project
Updated -
-
Eclipse Projects / Eclipse Signalling Engineering Toolbox / set
Eclipse Public License 2.0Updated -
Paul Nelissen / lsat
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 -
Eclipse Projects / papyrus / org.eclipse.papyrus-moka.incubation
Eclipse Public License 2.0Updated -
-
Gert-Jan van den Braak / lsat
Eclipse Public License 2.0Updated -
Quang-Duy NGUYEN / org.eclipse.p4m
Eclipse Public License 2.0Updated -
-
-
Giray Ozel / lsat
Eclipse Public License 2.0Updated -
-
UpdatedUpdated
-
Nils Peters / set
Eclipse Public License 2.0Updated -
