Formal Techniques for Networked and Distributed Systems by Myungchul Kim, Byoungmoon Chin, Sungwon Kang
English | 2001 | ISBN: 0792374703 | 472 Pages | PDF | 3.3 MB
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.