Event Beta

28th International Workshop on Formal Methods for Industrial Critical Systems

Name: 28th International Workshop on Formal Methods for Industrial Critical Systems
Start: 2023-09-18
End: 2023-09-23
Location: Antwerp

FMICS 2023

Date: 2023-09-18/23
Place: Antwerp, Belgium on the map
Series: International Workshop on Formal Methods for Industrial Critical Systems
Edition: 28
Attendance: on site
Status: as scheduled
Website: https://www.uantwerpen.be/en/conferences/confest-2023/fmics/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: formal methods
Identifier: https://id.confref.org/event/e113m8k

Proceedings

Title	DOI	Year	Record
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings Lecture Notes in Computer Science 14290	10.1007/978-3-031-43681-9	2023	dblp

Sources

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

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

Cite

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

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

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