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
Material type:
TextPublication details: London : Chapman & Hall, 1996Edition: 1st edDescription: vii, 455 p. ; 23 cmISBN: - 0412716208
Contents:
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.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | C.2.2 PRO (Browse shelf(Opens below)) | Available | DIF-00026 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
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.