Sökning: id:"swepub:oai:DiVA.org:mdh-39206" >
Joint 22nd Internat...
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems
-
- Cavalcanti, Ana (författare)
- Univ York, York, N Yorkshire, England.
-
- Petrucci, Laure (författare)
- CNRS, LIPN, Paris, France
-
- Seceleanu, Cristina, 1968- (författare)
- Mälardalens högskola,Inbyggda system
-
Univ York, York, N Yorkshire, England CNRS, LIPN, Paris, France (creator_code:org_t)
- EUROPEAN RESEARCH CONSORTIUM INFORMATICS & MATHEMATICS, 2018
- 2018
- Engelska.
-
Ingår i: ERCIM News. - : EUROPEAN RESEARCH CONSORTIUM INFORMATICS & MATHEMATICS. - 0926-4981 .- 1564-0094. ; :112, s. 47-47
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- The yearly workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) was organised as a joint event together with the workshop on Automated Verification of Critical Systems (AVoCS). The resulting FMICS-AVoCS 2017 workshop took place on 18-20 September in Turin, hosted by the University of Turin.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Publikations- och innehållstyp
- vet (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas