Protocol specification, testing and verification XV :  proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 

 - 1st ed. 
 - London :   Chapman & Hall,  1996 
 - vii, 455 p.  ;  23 cm. 
<br/><br/>Specification and verification: time-dependent analysis -- Specification of concurrent systems -- Testing -- Specification and verification: temporal approach -- Validation and testing -- Specification and analysis -- Verification: model checking -- High speed / multimedia -- Towards implementation. 
<br/><br/><label>ISBN: </label>0412716208 
<br/><br/><label>Standard No.: </label>DIF-M306 
<br/><br/><label>Subjects--Topical Terms: </label><br/>REQUERIMIENTOS/ESPECIFICACIONES<br/>INGENIERÍA DE SOFTWARE<br/>VERIFICACIÓN DE PROTOCOLOS<br/>REUNIONES