Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) an

zbMath0905.68004MaRDI QIDQ1275455

No author found.

Publication date: 18 January 1999

Published in: IFIP, International Federation for Information Processing (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsParis (France)TestingIFIPVerificationDistributed systemsCommunication protocolsFormal description techniquesProtocol specification

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (5)

Rewriting logic: Roadmap and bibliography ⋮ Transformations for Compositional Verification of Assumption-Commitment Properties ⋮ A decidable timeout-based extension of linear temporal logic ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Graph Relabelling Systems

This page was built for publication: Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) an