Modeling and analysis of a virtual reality system with time Petri nets

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1998, Pages 33-42

  Mascarenhas, Rajesh ^a   Karumuri, Dinkar ^a   Buy, Ugo ^a   Kenyon, Robert ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUFFER STORAGE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; MATHEMATICAL MODELS; PETRI NETS; REAL TIME SYSTEMS; CONCURRENT ENGINEERING; DATA REDUCTION; STORAGE ALLOCATION (COMPUTER); SYNCHRONIZATION;

AUTOMATED VERIFICATION; AUTOMATED VERIFICATIONS; CONCURRENCY MODELS; SOFTWARE PACKAGE CAVE;

VIRTUAL REALITY;

EID: 0031597148     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)