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): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 03:45, 5 March 2024
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
