Original language | English |
---|---|
Title of host publication | Fourth International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'99) |
Subtitle of host publication | Proceedings of the FLoC Workshop, Pisa, Italy, 1999 |
Editors | S. Gnesi, D. Latella |
Pages | 225-237 |
Number of pages | 13 |
Volume | II |
Publication status | Published - 1999 |
Event | 4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999 - Trento, Italy Duration: 11 Jul 1999 → 12 Jul 1999 Conference number: 4 |
Workshop
Workshop | 4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999 |
---|---|
Abbreviated title | FMICS |
Country/Territory | Italy |
City | Trento |
Period | 11/07/99 → 12/07/99 |
Keywords
- FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS