LEADER 03944nam  22007695  450 
001 996466069903316
005 20200630201704.0
010   $a3-642-24431-9
024 7 $a10.1007/978-3-642-24431-5
035   $a(CKB)2550000000052040
035   $a(SSID)ssj0000609741
035   $a(PQKBManifestationID)11412060
035   $a(PQKBTitleCode)TC0000609741
035   $a(PQKBWorkID)10620853
035   $a(PQKB)11293888
035   $a(DE-He213)978-3-642-24431-5
035   $a(MiAaPQ)EBC3067099
035   $a(PPN)156319748
035   $a(EXLCZ)992550000000052040
100   $a20110824d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Industrial Critical Systems$b[electronic resource] $e16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings /$fedited by Gwen Salaün, Bernhard Schätz
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 261 p.) 
225 1 $aProgramming and Software Engineering ;$v6959
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24430-0 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
410  0$aProgramming and Software Engineering ;$v6959
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSpecial purpose computers
606   $aComputer programming
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
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   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aSpecial purpose computers.
615  0$aComputer programming.
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
702   $aSalaün$b Gwen$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchätz$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on Formal Methods for Industrial Critical Systems
906   $aBOOK
912   $a996466069903316
996   $aFormal Methods for Industrial Critical Systems$9773688
997   $aUNISA