Publication year: 2007
ISBN: 978-3-540-73196-2
Internet Resource: Please Login to download book
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences.
Subject: Computer Science, Quality of Service, Quality of Service (QoS), algorithm, algorithms, distributed systems, model checking, verification