Skip to content

org.uppaal.model.org.uppaal.model.parent 1.0.0.202410282046 Latest version

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>org.uppaal.model</groupId>
  <artifactId>org.uppaal.model.parent</artifactId>
  <version>1.0.0.202410282046</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

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

Details

  • @uppaal-emf uppaal-emf
  • October 30, 2024
  • Eclipse Public License 1.0

Assets

Download activity

  • Total downloads 0
  • Last 30 days 0
  • Last week 0
  • Today 0

Recent versions