Q1275455
type: Item
instance of: scholarly article
title: 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) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998
zbMATH Open document ID: 0905.68004
published in: IFIP, International Federation for Information Processing
publication date: 1999-01-18T00:00:00Z
review text: The articles of this volume will be reviewed individually in the database CompuScience. The preceding conference (6th, FORTE '93) has been announced (see Zbl 0828.68021). The preceding symposium (13th, PSTV 93) has been announced (see Zbl 0799.68016).
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1241605
zbMATH Keywords: Paris (France)
zbMATH Keywords: Conference
zbMATH Keywords: Proceedings
zbMATH Keywords: IFIP
zbMATH Keywords: Formal description techniques
zbMATH Keywords: Communication protocols
zbMATH Keywords: Distributed systems
zbMATH Keywords: Protocol specification
zbMATH Keywords: Testing
zbMATH Keywords: Verification
MaRDI profile type: Publication
label: 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) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998
description: scientific article; zbMATH DE number 1241605