LEADER 03620nam  22007695  450 
001 9910255001103321
005 20200630033209.0
010   $a3-319-29510-1
024 7 $a10.1007/978-3-319-29510-7
035   $a(CKB)3710000000602255
035   $a(SSID)ssj0001656810
035   $a(PQKBManifestationID)16442269
035   $a(PQKBTitleCode)TC0001656810
035   $a(PQKBWorkID)14985387
035   $a(PQKB)10094683
035   $a(DE-He213)978-3-319-29510-7
035   $a(MiAaPQ)EBC6281589
035   $a(MiAaPQ)EBC5587065
035   $a(Au-PeEL)EBL5587065
035   $a(OCoLC)1066194589
035   $a(PPN)192222678
035   $a(EXLCZ)993710000000602255
100   $a20160201d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Techniques for Safety-Critical Systems $e4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /$fedited by Cyrille Artho, Peter Csaba Ölveczky
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (X, 271 p. 86 illus. in color.) 
225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v596
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-29509-8 
330   $aThis book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. .
410  0$aCommunications in Computer and Information Science,$x1865-0929 ;$v596
606   $aComputer logic
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputers
606   $aComputer simulation
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   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputers.
615  0$aComputer simulation.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputation by Abstract Devices.
615 24$aSimulation and Modeling.
676   $a004.0151
702   $aArtho$b Cyrille$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aÖlveczky$b Peter Csaba$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910255001103321
996   $aFormal Techniques for Safety-Critical Systems$92124962
997   $aUNINA