src/ui/ColorManager.java · 69e2ee10cefc73d0d4aa8eaa13a2065ace4ba31f · mbe-tools / TTool · GitLab

Snippets Groups Projects

14 years ago
69e2ee10
AVATAR: Management of Timers: on AVATAR models, and also in the internal... · 69e2ee10
Ludovic Apvrille authored 14 years ago
```
AVATAR: Management of Timers: on AVATAR models, and also in the internal language + translation to UPPAAL
```
69e2ee10

History
AVATAR: Management of Timers: on AVATAR models, and also in the internal...
Ludovic Apvrille authored 14 years ago
```
AVATAR: Management of Timers: on AVATAR models, and also in the internal language + translation to UPPAAL
```