Explore projects
-
-
-
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 -
Eclipse Projects / Eclipse Signalling Engineering Toolbox / Toolbox model
Eclipse Public License 2.0Updated -
Ngoc Quang Truong / Toolbox model
Eclipse Public License 2.0Updated -
Paul Nelissen / lsat
Eclipse Public License 2.0Updated -
Ngoc Quang Truong / set
Eclipse Public License 2.0Updated -
-
Eclipse Projects / APP4MC / org.eclipse.app4mc.tools
Eclipse Public License 2.0Updated -
UpdatedUpdated
-
Eclipse Projects / APP4MC / org.eclipse.app4mc
Eclipse Public License 2.0APP4MC - Data model and main tools
Updated -
Eclipse Projects / osbp / Org.Eclipse.Osbp.Dsl
Apache License 2.0Updated -
Eclipse Projects / APP4MC / org.eclipse.app4mc.addon.transformation
Eclipse Public License 2.0APP4MC - Transformation component (addon)
Updated -
Eclipse Projects / osbp / Org.Eclipse.Osbp.Ecview.Addons
Apache 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 -
Nils Peters / set
Eclipse Public License 2.0Updated -
Nils Peters / Toolbox model
Eclipse Public License 2.0Updated