LEADER 03779nam  22007095  450 
001 996465988803316
005 20200701212914.0
010   $a3-319-45943-0
024 7 $a10.1007/978-3-319-45943-1
035   $a(CKB)3710000000872924
035   $a(DE-He213)978-3-319-45943-1
035   $a(MiAaPQ)EBC6287481
035   $a(MiAaPQ)EBC5587406
035   $a(Au-PeEL)EBL5587406
035   $a(OCoLC)1066184904
035   $a(PPN)195510909
035   $a(EXLCZ)993710000000872924
100   $a20160912d2016      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 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /$fedited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XVI, 247 p. 89 illus.)
225 1 $aProgramming and Software Engineering ;$v9933
311   $a3-319-45942-2 
330   $aThis book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
410  0$aProgramming and Software Engineering ;$v9933
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aSpecial purpose computers
606   $aMathematical logic
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aSpecial purpose computers.
615  0$aMathematical logic.
615 14$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aMathematical Logic and Formal Languages.
676   $a621.395
702   $ater Beek$b Maurice H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGnesi$b Stefania$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKnapp$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465988803316
996   $aCritical Systems: Formal Methods and Automated Verification$92830202
997   $aUNISA