A user-centric computer-aided verification process in a virtuality-reality continuum
Victor Romero, Romain Pinquié, Frédéric Noël
Topics & Concepts
Computer scienceSoftware engineeringEngineering design processVirtual realitySystems engineeringProcess (computing)Functional verificationFormal verificationSimulationHuman–computer interactionProgramming languageEngineeringMechanical engineeringReal-time simulation and control systemsHuman-Automation Interaction and SafetySimulation Techniques and Applications