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 LEADER 02429oam 2200781zu 450 001 9910677174303321 005 20251116140133.0 010 $a3-527-63113-5 035 $a(CKB)3400000000000378 035 $a(SSID)ssj0000550576 035 $a(PQKBManifestationID)11343489 035 $a(PQKBTitleCode)TC0000550576 035 $a(PQKBWorkID)10509440 035 $a(PQKB)10878838 035 $a(EXLCZ)993400000000000378 100 $a20160829d2008 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 00$aColloids in cosmetics and personal care 210 31$a[Place of publication not identified]$cWiley VCH$d2008 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-527-31464-4 606 $aSpecialty Uses of Chemicals 606 $aDosage Forms 606 $aHousehold Products 606 $aHygiene 606 $aComplex Mixtures 606 $aPharmaceutical Preparations 606 $aChemical Actions and Uses 606 $aTherapeutics 606 $aChemicals and Drugs 606 $aTechnology, Industry, and Agriculture 606 $aTechnology, Industry, Agriculture 606 $aAnalytical, Diagnostic and Therapeutic Techniques and Equipment 606 $aSkin Care 606 $aColloids 606 $aCosmetics 606 $aEmulsions 606 $aChemical & Materials Engineering$2HILCC 606 $aEngineering & Applied Sciences$2HILCC 606 $aChemical Engineering$2HILCC 615 2$aSpecialty Uses of Chemicals. 615 2$aDosage Forms. 615 2$aHousehold Products. 615 2$aHygiene. 615 2$aComplex Mixtures. 615 2$aPharmaceutical Preparations. 615 2$aChemical Actions and Uses. 615 2$aTherapeutics. 615 2$aChemicals and Drugs 615 2$aTechnology, Industry, and Agriculture. 615 2$aTechnology, Industry, Agriculture 615 2$aAnalytical, Diagnostic and Therapeutic Techniques and Equipment 615 2$aSkin Care. 615 2$aColloids. 615 2$aCosmetics. 615 2$aEmulsions. 615 7$aChemical & Materials Engineering 615 7$aEngineering & Applied Sciences 615 7$aChemical Engineering 702 $aTadros$b Tharwat F 801 0$bPQKB 906 $aBOOK 912 $a9910677174303321 996 $aColloids in cosmetics and personal care$93067659 997 $aUNINA