An integrated tool environment for modeling, validating and verifying real-time systems, built in Java and wrapped in a user-friendly workspace
Uppaal 4.0.14 Rev 5615 / 4.1.19 Rev 5649 Development Snapshot (Freeware)
Uppaal 4.0.14 Rev 5615 / 4.1.19 Rev 5649 Development Snapshot (Freeware)
Niciun comentariu:
Trimiteți un comentariu