Wolfgang Herget

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Multi User Virtual Environments

Bounded Model Checking

Synthetic Characters

Top Venues

Publications

Wolfgang Herget, Christopher Krauß, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Ingo Zinnikus
A Virtual Environment for Collaborative Engineering with Formal Verification. ISPE CE (2013)