LEADER 03864nam  22007455  450 
001 996466177303316
005 20200701090503.0
010   $a3-030-32872-4
024 7 $a10.1007/978-3-030-32872-6
035   $a(CKB)4100000009522947
035   $a(DE-He213)978-3-030-32872-6
035   $a(MiAaPQ)EBC5941483
035   $a(PPN)255933975
035   $a(EXLCZ)994100000009522947
100   $a20191010d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel-Based Safety and Assessment$b[electronic resource] $e6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16?18, 2019, Proceedings /$fedited by Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XI, 380 p. 236 illus., 101 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v11842
311   $a3-030-32871-6 
327   $aSafety Models and Languages -- Dependability Analysis Process -- Safety Assessment -- Safety Assessment in Automotive Industry -- AI in Safety Assessment. .
330   $aThis book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment. .
410  0$aProgramming and Software Engineering ;$v11842
606   $aComputer logic
606   $aSoftware engineering
606   $aSpecial purpose computers
606   $aArchitecture, Computer
606   $aMicroprogramming 
606   $aComputer security
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   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aControl Structures and Microprogramming$3https://scigraph.springernature.com/ontologies/product-market-codes/I12018
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aSpecial purpose computers.
615  0$aArchitecture, Computer.
615  0$aMicroprogramming .
615  0$aComputer security.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aControl Structures and Microprogramming.
615 24$aSystems and Data Security.
676   $a005.1
702   $aPapadopoulos$b Yiannis$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aAslansefat$b Koorosh$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKatsaros$b Panagiotis$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBozzano$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466177303316
996   $aModel-Based Safety and Assessment$92095532
997   $aUNISA