Cargando…
Design and safety assessment of critical systems /
Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still large...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boca Raton, FL :
Auerbach Publications,
©2011.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn692197097 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 101213s2011 flua ob 001 0 eng d | ||
| 010 | |z 2010029858 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d EBLCP |d COF |d VPI |d OCLCQ |d B24X7 |d OTZ |d OCLCQ |d OCLCF |d OCLCQ |d CRCPR |d OCLCQ |d DEBSZ |d E7B |d OCLCQ |d UAB |d MERUC |d ESU |d OCLCQ |d STF |d ERL |d OCLCQ |d CEF |d NLE |d AU@ |d COO |d OCLCQ |d UKMGB |d WYU |d S9I |d YDX |d TYFRS |d LEAUB |d OCLCQ |d EYM |d OCLCQ |d OCLCO |d SFB |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 015 | |a GBB7A9229 |2 bnb | ||
| 016 | 7 | |a 015500065 |2 Uk | |
| 016 | 7 | |a 018390423 |2 Uk | |
| 019 | |a 698590003 |a 792986318 |a 991977587 |a 995021801 |a 1015211795 |a 1031052098 |a 1058111416 |a 1063889752 |a 1290035040 | ||
| 020 | |a 9781439803325 |q (electronic bk.) | ||
| 020 | |a 1439803323 |q (electronic bk.) | ||
| 020 | |z 9781439803318 | ||
| 020 | |z 1439803315 | ||
| 020 | |a 0429070047 | ||
| 020 | |a 9780429070044 | ||
| 024 | 7 | |a 10.1201/b10094 |2 doi | |
| 029 | 1 | |a AU@ |b 000060416596 | |
| 029 | 1 | |a DEBSZ |b 37280781X | |
| 029 | 1 | |a DEBSZ |b 430921136 | |
| 029 | 1 | |a DEBSZ |b 449216802 | |
| 029 | 1 | |a DEBSZ |b 454895763 | |
| 029 | 1 | |a NZ1 |b 14261958 | |
| 029 | 1 | |a UKMGB |b 018390423 | |
| 035 | |a (OCoLC)692197097 |z (OCoLC)698590003 |z (OCoLC)792986318 |z (OCoLC)991977587 |z (OCoLC)995021801 |z (OCoLC)1015211795 |z (OCoLC)1031052098 |z (OCoLC)1058111416 |z (OCoLC)1063889752 |z (OCoLC)1290035040 | ||
| 037 | |a TANDF_200131 |b Ingram Content Group | ||
| 050 | 4 | |a T55 |b .B68 2011eb | |
| 072 | 7 | |a TEC |x 017000 |2 bisacsh | |
| 082 | 0 | 4 | |a 620.8/6 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Bozzano, Marco. | |
| 245 | 1 | 0 | |a Design and safety assessment of critical systems / |c Marco Bozzano, Adolfo Villafiorita. |
| 260 | |a Boca Raton, FL : |b Auerbach Publications, |c ©2011. | ||
| 300 | |a 1 online resource (xvii, 279 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 1. Introduction -- 2. Dependability, reliability, and safety assessment -- 3. Techniques for safety assessment -- 4. Development of safety-critical applications -- 5. Formal methods for safety assessment -- 6. Formal methods for certification. | |
| 520 | |a Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques.An introduction to the area of design and verifica. | ||
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Industrial safety. | |
| 650 | 2 | |a Occupational Health | |
| 650 | 6 | |a Sécurité du travail. | |
| 650 | 7 | |a occupational safety. |2 aat | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Industrial Health & Safety. |2 bisacsh | |
| 650 | 7 | |a Industrial safety |2 fast | |
| 700 | 1 | |a Villafiorita, Adolfo. | |
| 758 | |i has work: |a Design and Safety Assessment of Critical Systems (Text) |1 https://id.oclc.org/worldcat/entity/E39PCYFVcCBVTWtCfx4XWWDwmd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Bozzano, Marco. |t Design and safety assessment of critical systems. |d Boca Raton, FL : Auerbach Publications, ©2011 |z 9781439803318 |w (DLC) 2010029858 |w (OCoLC)653121445 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=624966 |z Texto completo |
| 938 | |a Books 24x7 |b B247 |n bke00036928 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL624966 | ||
| 938 | |a ebrary |b EBRY |n ebr10433621 | ||
| 938 | |a EBSCOhost |b EBSC |n 348065 | ||
| 938 | |a Taylor & Francis |b TAFR |n AUP0KE10168PDF | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780429070044 | ||
| 938 | |a YBP Library Services |b YANK |n 15915343 | ||
| 938 | |a YBP Library Services |b YANK |n 3347469 | ||
| 994 | |a 92 |b IZTAP | ||