- Etusivu
- Alexandre David
- Kehitystyökalut
UPPAAL on integroitu työkalu mallintamisessa, validointiin ja tarkastuksiin reaaliaikaisia järjestelmiä mallinnetaan verkkojen ajastettu automaatti, laajennetaan tietotyyppejä (rajoittaa kokonaislukuja, paneelit, jne.).UPPAAL CORA on haara UPPAAL for...