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