Publication year: 2007
: 978-3-540-73196-2
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.
: Computer Science, Quality of Service, Quality of Service (QoS), algorithm, algorithms, distributed systems, model checking, verification