Verification of UML-Based Real-Time System Designs by Means of cTLA.

Günter Graw Peter Herrmann Heiko Krumm

Published in: ISORC (2000)

Keyphrases

real time
formal methods
object oriented
control system
software development
software engineering
model checking
real time systems
neural network
high speed
vision system
software architecture
modeling language
class diagram
functional verification