Simulator for Real-Time Abstract State Machines

Pavel Vasilyev. Simulator for Real-Time Abstract State Machines. In Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with . pages 202-205, INSTICC Press, 2006.

Abstract

Abstract is missing.