Login / Signup
A Tool Architecture for the Next Generation of Uppaal.
Alexandre David
Gerd Behrmann
Kim Guldstrand Larsen
Wang Yi
Published in:
10th Anniversary Colloquium of UNU/IIST (2002)
Keyphrases
</>
real time
model checking
neural network
visualization tool
design considerations
software platform
databases
social networks
management system
object oriented
software engineering
software architecture
conceptual model
software tools
network architecture
data manipulation language