ID▼ | Product▼ | Comp | Assignee▲ | Status | Resolution | Summary | Changed▲ |
---|---|---|---|---|---|---|---|
439 | UPPAAL T | any | marius | ASSI | --- | allow open system model for external test generators like Simulink | 2008-05-07 |
File a new bug in the "any" component of the "UPPAAL TRON" product