Curator 75 (talk | contribs) (Created page with "{{Event Series |Acronym=FMICS |Title=International Workshop on Formal Methods for Industrial Critical Systems |Recurrence Unit=year |Academic Field=Formal Methods |Official We...") |
Curator 91 (talk | contribs) |
||
(One intermediate revision by the same user not shown) | |||
Line 5: | Line 5: | ||
|Academic Field=Formal Methods | |Academic Field=Formal Methods | ||
|Official Website=https://fmics.inria.fr/ | |Official Website=https://fmics.inria.fr/ | ||
+ | |DOI=10.25798/rq6y-6r76 | ||
}} | }} | ||
{{Event Series Related Identifier | {{Event Series Related Identifier | ||
Line 10: | Line 11: | ||
|Wikidata Series ID=Q105696762 | |Wikidata Series ID=Q105696762 | ||
|WikiCFP Series ID=1054 | |WikiCFP Series ID=1054 | ||
+ | }} | ||
+ | {{Maintainer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=ERCIM Working Group on Formal Methods for Industrial Critical Systems, European Research Consortium for Informatics and Mathematics | ||
+ | }} | ||
+ | {{Event Series CORE Ranking | ||
+ | |CORE Rank Year=2021 | ||
+ | |CORE Rank=C | ||
}} | }} | ||
{{S Event Series}} | {{S Event Series}} |
Latest revision as of 11:34, 21 August 2023
Events