LEADER 03062nam  22006255  450 
001 996418302203316
005 20200903205329.0
010   $a3-030-58920-X
024 7 $a10.1007/978-3-030-58920-2
035   $a(CKB)4100000011413880
035   $a(DE-He213)978-3-030-58920-2
035   $a(MiAaPQ)EBC6336353
035   $a(PPN)250220644
035   $a(EXLCZ)994100000011413880
100   $a20200903d2020      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] $e7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14?16, 2020, Proceedings /$fedited by Marc Zeller, Kai Höfig
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XI, 255 p. 47 illus.) 
225 1 $aProgramming and Software Engineering ;$v12297
300   $aIncludes index.
311   $a3-030-58919-6 
330   $aThis book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.
410  0$aProgramming and Software Engineering ;$v12297
606   $aComputer logic
606   $aArtificial intelligence
606   $aApplication software
606   $aComputer organization
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
615  0$aComputer logic.
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aComputer organization.
615 14$aLogics and Meanings of Programs.
615 24$aArtificial Intelligence.
615 24$aComputer Applications.
615 24$aComputer Systems Organization and Communication Networks.
676   $a005.1015113
702   $aZeller$b Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHöfig$b Kai$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418302203316
996   $aModel-Based Safety and Assessment$92095532
997   $aUNISA