Login / Signup
Verification of a Virtual Filesystem Switch.
Gidon Ernst
Gerhard Schellhorn
Dominik Haneberg
Jörg Pfähler
Wolfgang Reif
Published in:
VSTTE (2013)
Keyphrases
</>
functional verification
virtual reality
augmented reality
virtual environment
high speed
model checking
face verification
virtual world
person identification
learning environment
formal methods
real time
information systems
data structure
virtual teams