Formal Techniques for Networked and Distributed Systems – FORTE 2007 By John Derrick & Jüri Vain
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint international annual conference combining the former PSTV (Protocol Specification Testing and Verification) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The first PSTV conference took place in 1981, and the first FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and discussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous locations, and this is reflected by its recent history, with meetings in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), Madrid (Spain), Paris (France), Taiwan and now Tallinn, Estonia.
Link Download: Free Download
Subscribe to:
Post Comments
(
Atom
)
No comments :
Post a Comment