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 (Q1275455)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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 |
scientific article |
Statements
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 (English)
0 references
18 January 1999
0 references
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).
0 references
Paris (France)
0 references
Conference
0 references
Proceedings
0 references
IFIP
0 references
Formal description techniques
0 references
Communication protocols
0 references
Distributed systems
0 references
Protocol specification
0 references
Testing
0 references
Verification
0 references
