UPPAAL EMF

Type: All

Visibility: Public

Sort by: Most downloads

Clear current search query, filters, and sorts

12 packages

org.muml.uppaal.org.muml.uppaal
Published Apr 1, 2023 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

9
org.uppaal.model.org.uppaal.model
Published Oct 30, 2024 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

3
org.muml.uppaal.org.muml.uppaal.parent
An EMF Meta Model for timed automata as defined by the UPPAAL model-checking software.

Published Apr 1, 2023 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.muml.uppaal.org.muml.uppaal.edit
Published Apr 1, 2023 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.muml.uppaal.org.muml.uppaal.editor
Published Apr 1, 2023 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.muml.uppaal.org.muml.uppaal.platform
Published Apr 1, 2023 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.muml.uppaal.org.muml.uppaal.package
Aggregates artifacts from sibling modules.

Published Apr 1, 2023 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.uppaal.model.org.uppaal.model.parent
An EMF Meta Model for timed automata as defined by the UPPAAL model-checking software.

Published Oct 30, 2024 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.uppaal.model.org.uppaal.model.edit
Published Oct 30, 2024 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.uppaal.model.org.uppaal.model.editor
Published Oct 30, 2024 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.uppaal.model.org.uppaal.model.platform
Published Oct 30, 2024 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0
org.uppaal.model.org.uppaal.model.package
Aggregates artifacts from sibling modules.

Published Oct 30, 2024 by UPPAAL EMF in uppaal-emf/uppaal-metamodel

0