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


P.V.P. 4,20 €


Autores
Silva Suárez, Manuel (ed.)
Ajmone Marsan, Marco (ed.)
Quemada, Juan (ed.)

Editorial
Prensas Universitarias de Zaragoza

Colección
Fuera de colección

Temática
Ingeniería

ISBN
84-7733-515-X

1999, 156 pp., 17 x 24, Rústica
Inglés

Reseña
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).
© Prensas Universitarias de Zaragoza, Universidad de Zaragoza, 2010 · Calle Pedro Cerbuna, 12, 50009 Zaragoza, España · 976 761 330