Jan R. Engelbrecht;Pieter S. Kritzinger;Harry Rudin
-;-;-
Evaluating Performance from Formal Specification
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems