description
perangkat lunak Uppsala University
@id
strumento software per la verifica di sistemi real-time
@it
name
UPPAAL
@de
UPPAAL
@it
Uppaal Model Checker
@ast
Uppaal Model Checker
@en
Uppaal Model Checker
@fr
Uppaal
@ja
type
label
UPPAAL
@de
UPPAAL
@it
Uppaal Model Checker
@ast
Uppaal Model Checker
@en
Uppaal Model Checker
@fr
Uppaal
@ja
prefLabel
UPPAAL
@de
UPPAAL
@it
Uppaal Model Checker
@ast
Uppaal Model Checker
@en
Uppaal Model Checker
@fr
Uppaal
@ja