Record Beta
FMICS - International Workshop on Formal Methods for Industrial Critical Systems
https://id.confref.org/data/confident/31182
This record is part of the confref series International Workshop on Formal Methods for Industrial Critical Systems.
| rdf:type | cf:Category_Event_Series |
|---|---|
| rdfs:label | FMICS - International Workshop on Formal Methods for Industrial Critical Systems |
| cf:Academic_Field | https://id.confref.org/data/confident/26775 |
| cf:Acronym | FMICS |
| cf:Creation_date | 2022-09-13T06:09:02 |
| cf:DBLP_Series_ID | fmics |
| cf:DOI | 10.25798/rq6y-6r76 |
| cf:Display_Title | FMICS - International Workshop on Formal Methods for Industrial Critical Systems |
| cf:Has_subobject | https://id.confref.org/data/confident/31182/db24a9753f45dcf799c08fc100a11137 |
| cf:Maintainer_Missing | false |
| cf:Modification_date | 2023-08-21T11:34:38 |
| cf:Official_Website | https://fmics.inria.fr/ |
| cf:Recurrence_Unit | year |
| cf:Title | International Workshop on Formal Methods for Industrial Critical Systems |
| cf:WikiCFP_Series_ID | 1054 |
| cf:Wikidata_Series_ID | Q105696762 |
| cf:page | https://www.confident-conference.org/index.php/Event_Series:18970f09-4ba8-4bc6-82b8-5f20ecd4453f |
| cf:pageTitle | Event Series:18970f09-4ba8-4bc6-82b8-5f20ecd4453f |
| cr:discipline | formal methods (wd:Q1049183) |
| cr:field | Mathematics (https://id.confref.org/data/oecd-fos/1.1) |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.