24th IFIP WG 6.1 International Conference on
Formal Techniques for Networked and
Distributed Systems
FORTE 2004
27-30 September, 2004, Madrid, Spain
24th IFIP WG 6.1 International Conference on
Formal Techniques for Networked and
Distributed Systems
FORTE 2004
27-30 September, 2004, Madrid, Spain
Submission to Forte'04 is closed
FORTE'04 proceedings are now available online as volume 3235 of the LNCS series.
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) is focused on formal methods for communication protocols. FORTE is the new name of the joint FORTE/PSTV meeting, which has combined FORTE and PSTV into a single joint meeting since 1996.
Local organization: Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid.
Luis Fernando Llana Díaz
|
|
|
|