Modeling and Analysis of a Virtual Reality System with Time Petri Nets.

Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, Robert V. Kenyon

Browse the full ICSE paper archive.