Formal Methods and Telecommunications (FM&T’99). International Workshop. Zaragoza, Spain, September 1999. Proceedings

El análisis de prestaciones ha sido siempre el punto de arranque del diseño y la planificación de sistemas de telecomunicación. En los últimos años, el gran incremento en complejidad de estos sistemas y la reducción temporal de los ciclos de vida de tan complejas redes han aumentado el interés por técnicas formales destinadas a la mejora de los procedimientos de especificación, modelado, análisis lógico y prestaciones, así como de comprobación. En este International Workshop se presentan las nueve aportaciones seleccionadas, divididas en cuatro secciones (SDL, Redes de Petri, LOTOS y Estudios de casos).