Formal Techniques for Networked and Distributed Systems: Forte 2001

by Byoungmoon Chin and Sungwon Kang

Book Overview

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques for Networked and Distributed Systems). The previous FORTE began in 1989 and the PSTV conference in 1981. Therefore the new FORTE conference actually has...

• Format: Paperback
• Language: English
• ISBN: 1475788258
• ISBN13: 9781475788259
• Release Date: June 2013
• Publisher: Springer
• Length: 464 Pages
• Weight: 1.46 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"