Event Beta

7th International Workshop on Formal Methods for Industrial Critical Systems

Name: 7th International Workshop on Formal Methods for Industrial Critical Systems
Start: 2002-07-12
End: 2002-07-13
Location: Málaga

FMICS 2002

Date: 2002-07-12/13
Place: Málaga, Spain on the map
Series: International Workshop on Formal Methods for Industrial Critical Systems
Edition: 7
Attendance: on site
Status: as scheduled
Website: https://fmics.inria.fr/workshop-7/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: formal methods
Identifier: https://id.confref.org/event/e113m11

Proceedings

Title	DOI	Year	Record
7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 Electronic Notes in Theoretical Computer Science 66		2002	dblp

The records of the sources that this identifier brings together (cr:sameAs).

ConfIDent	`https://id.confref.org/data/confident/31194` · page
dblp	`https://dblp.org/db/conf/fmics/fmics2002`

7th International Workshop on Formal Methods for Industrial Critical Systems. confref identifier e113m11. https://id.confref.org/event/e113m11

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.