. "Computer Graphics, Computer Simulation, Virtual Reality"@en . . . . . . . . . . . . . . . . . . . . . . . . . . "Combination of simulation and formal verification"@en . . . . . "DLR Graduate Program"@en . . "Presential"@en . "4.00" . "no"@en . . . "Computer Science"@en . .