LEADER 03903nam  22006975  450 
001 996465913403316
005 20200630134659.0
010   $a3-319-67113-8
024 7 $a10.1007/978-3-319-67113-0
035   $a(CKB)3710000001631292
035   $a(DE-He213)978-3-319-67113-0
035   $a(MiAaPQ)EBC5577117
035   $a(PPN)204533600
035   $a(EXLCZ)993710000001631292
100   $a20170824d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCritical Systems: Formal Methods and Automated Verification$b[electronic resource] $eJoint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18?20, 2017, Proceedings /$fedited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIV, 235 p. 52 illus.) 
225 1 $aProgramming and Software Engineering ;$v10471
300   $aIncludes index.
311   $a3-319-67112-X 
327   $aAutomated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques.
330   $aThis book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
410  0$aProgramming and Software Engineering ;$v10471
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aSoftware engineering
606   $aSpecial purpose computers
606   $aMathematical logic
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aSpecial purpose computers.
615  0$aMathematical logic.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aMathematical Logic and Formal Languages.
676   $a004.0151
702   $aPetrucci$b Laure$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSeceleanu$b Cristina$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCavalcanti$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465913403316
996   $aCritical Systems: Formal Methods and Automated Verification$92830202
997   $aUNISA