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:
- 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 | |
---|---|---|---|---|---|---|
![]() |
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.