The Rhapsody UML Verification Environment.

Ingo Schinz Tobe Toben Christian Mrugalla Bernd Westphal

Published in: SEFM (2004)

Keyphrases

software development
real time
requirements engineering
requirements specification
mobile robot
formal verification
distributed systems
model checking
indoor environments
complex environments