LEADER 02872nam  22006015  450 
001 9910299052103321
005 20200701231451.0
010   $a3-319-05416-3
024 7 $a10.1007/978-3-319-05416-2
035   $a(CKB)3710000000106742
035   $a(DE-He213)978-3-319-05416-2
035   $a(SSID)ssj0001199742
035   $a(PQKBManifestationID)11704990
035   $a(PQKBTitleCode)TC0001199742
035   $a(PQKBWorkID)11214771
035   $a(PQKB)10556862
035   $a(MiAaPQ)EBC3092026
035   $a(PPN)178321648
035   $a(EXLCZ)993710000000106742
100   $a20140405d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Techniques for Safety-Critical Systems $eSecond International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /$fedited by Cyrille Artho, Peter Csaba Ölveczky
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 297 p. 91 illus.) 
225 1 $aCommunications in Computer and Information Science,$x1865-0929 ;$v419
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-05415-5 
330   $aThis book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
410  0$aCommunications in Computer and Information Science,$x1865-0929 ;$v419
606   $aComputer logic
606   $aSoftware engineering
606   $aComputers
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   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aComputers.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aComputation by Abstract Devices.
676   $a005.1015113
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
906   $aBOOK
912   $a9910299052103321
996   $aFormal Techniques for Safety-Critical Systems$92124962
997   $aUNINA