Verificación Formal del Subsistema de Identificación de Clientes en una Tienda Virtual.

José García-Fanjul Javier Tuya José A. Corrales

Published in: JISBD (1999)

Keyphrases

virtual environment
virtual world
data sets
formal language
virtual reality
three dimensional
augmented reality
virtual space
database
mathematical theory
operational semantics
formal analysis
description logics
knowledge management
email
website
real time