BDBComp
Parceria:
SBC
Ronei Marcos de MoraesLiliane S. Machado

Formal Verification of VHDL ¾ The Model Checker CV

Virtual reality have been used to provide trainingsystems in several areas, particularly in medicine. In that area,user's interactions in a virtual environment are modeled andthey are compared with predefined classes of performance toknow how much users are prepared to perform that procedureon human beings. In this paper is discussed the process ofdesign of a simulators in order to detail how the simulation wasimplemented to capture interaction data to be used in anassessment.

http://www.lbd.dcc.ufmg.br/colecoes/svr/2012/0016.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD