Login / Signup
Christopher Krauß
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Multi User Virtual Environments
Formal Analysis
Synthetic Characters
Haptic Feedback
Top Venues
ISPE CE
</>
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)
Christopher Krauß
,
Andreas Nonnengart
Formal Analysis Meets 3D-Visualization.
ISPE CE
(2012)