JUppaal

Registered by Thomas Bøgholm

Java Uppaal library

Project information

Maintainer:
JUppaal Developers
Driver:
Not yet selected
Licence:
GNU LGPL v2.1

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar
Programming languages:
Java

Get Involved

Downloads

JUppaal does not have any download files registered with Launchpad.