duminică, 4 ianuarie 2015

Uppaal 4.0.14 Rev 5615 / 4.1.19 Rev 5649 Development Snapshot (Freeware)

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)
Publicat de la

Niciun comentariu:

Trimiteți un comentariu

Abonați-vă la: Postare comentarii (Atom)