Protocol specification, testing and verification XV

Título:

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

Autor:

Colaboradores:

Dembiński, Piotr (Editor/a)Średniawa, Marek (Editor/a)

Temas:

REQUERIMIENTOS/ESPECIFICACIONES ; INGENIERÍA DE SOFTWARE ; VERIFICACIÓN DE PROTOCOLOS ; REUNIONES ; 

Reunión:

 ( 15°:  jun. 1995: Warsaw) 

Edición:

1st ed.

Localización electrónica:

Descripción física:

vii, 455 p. ; 23 cm.

ISBN:

0-412-71620-8

Idioma:

Inglés, 

País:

Reino Unido

Publicación:

London : Chapman & Hall, 1996

Puede solicitar más fácilmente el ejemplar con: C.2.2 PRO

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.