Ruiz Delgado, Mª del Carmen; Pardo Mateo, Juan Jose; Cazorla Lopez, Diego C.; Perez Leandrez, Diego
(Springer-Verlag , 2010)
A tool for performance evaluation, called BAL, will be presented in this paper. The BAL tool works with systems specification by means of the timed process algebra BTC so that it is able to consider the duration of actions ...
