SMCScheduling

Registered by Peter Gjøl Jensen

Approximating Optimal Scheduling for Statistical Model Checking

Project information

Maintainer:
SMC Scheduling Maintainers
Driver:
SMC Scheduling Maintainers
Licence:
MIT / X / Expat Licence

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

All bugs Latest bugs reported

Get Involved

Downloads

SMCScheduling does not have any download files registered with Launchpad.