Special issue on the 4th international workshop of the ERCIM working group on formal methods for industrial critical systems, Trento, Italy, July 11--12, 1999 --- selected papers (Q5959850)
From MaRDI portal
scientific article; zbMATH DE number 1726961
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue on the 4th international workshop of the ERCIM working group on formal methods for industrial critical systems, Trento, Italy, July 11--12, 1999 --- selected papers |
scientific article; zbMATH DE number 1726961 |
Statements
Special issue on the 4th international workshop of the ERCIM working group on formal methods for industrial critical systems, Trento, Italy, July 11--12, 1999 --- selected papers (English)
0 references
11 April 2002
0 references
The articles of this volume will be reviewed individually. The preceding workshop (3rd, 1998) has been reviewed (see Zbl 0939.00035).
0 references
Trento (Italy)
0 references
Special issue
0 references
ERCIM
0 references
Workshop
0 references
Papers
0 references
Industrial critical systems
0 references
