TY  - BOOK
AU  - Dembiński,Piotr
AU  - Średniawa,Marek
ED  - 
TI  - 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
SN  - 0412716208
PY  - 1996///
CY  - London
PB  -  Chapman & Hall
KW  - REQUERIMIENTOS/ESPECIFICACIONES
KW  - INGENIERÍA DE SOFTWARE
KW  - VERIFICACIÓN DE PROTOCOLOS
KW  - REUNIONES
N1  -  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
ER  -