Event Beta

26th International Workshop on Formal Methods for Industrial Critical Systems

Name: 26th International Workshop on Formal Methods for Industrial Critical Systems
Start: 2021-08-24
End: 2021-08-26
Location: Paris

FMICS 2021

Date: 2021-08-24/26
Place: Paris, France on the map
Series: International Workshop on Formal Methods for Industrial Critical Systems
Edition: 26
Attendance: online
Status: as scheduled
Website: https://qonfest2021.lacl.fr/fmics21.php
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: formal methods
Identifier: https://id.confref.org/event/e113m6q

Proceedings

Title	DOI	Year	Record
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings Lecture Notes in Computer Science 12863	10.1007/978-3-030-85248-1	2021	dblp

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

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

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

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