LEADER 06270nam 22008055 450 001 996466362103316 005 20200704093059.0 010 $a3-540-40891-6 024 7 $a10.1007/3-540-40891-6 035 $a(CKB)1000000000211346 035 $a(SSID)ssj0000322112 035 $a(PQKBManifestationID)11937850 035 $a(PQKBTitleCode)TC0000322112 035 $a(PQKBWorkID)10281233 035 $a(PQKB)11151940 035 $a(DE-He213)978-3-540-40891-8 035 $a(MiAaPQ)EBC3072397 035 $a(PPN)155218085 035 $a(EXLCZ)991000000000211346 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /$fedited by Floor Koornneef, Meine van der Meulen 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 438 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1943 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41186-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Paper -- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems -- Verification and Validation -- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection -- Speeding-Up Fault Injection Campaigns in VHDL Models -- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs -- Validation of Control System Specifications with Abstract Plant Models -- A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software -- Expert Error: The Case of Trouble-Shooting in Electronics -- The Safety Management of Data-Driven Safety-Related Systems -- Software Support for Incident Reporting Systems in Safety-Critical Applications -- Software Process Improvement -- A Dependability-Explicit Model for the Development of Computing Systems -- Deriving Quantified Safety Requirements in Complex Systems -- Improving Software Development by Using Safe Object Oriented Development : OTCD -- A Safety Licensable PES for SIL 4 Applications -- Safety and Security Issues in Electric Power Industry -- Dependability of Computer Control Systems in Power Plants -- A Method of Analysis of Fault Trees with Time Dependencies -- Formal Methods -- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module -- Formal Methods: The Problem Is Education -- Formal Methods Diffusion: Past Lessons and Future Prospects -- Invited Paper -- Safe Tech: A Control Oriented Viewpoint -- Safety Guidelines, Standards and Certification -- Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems -- IEC 61508 ? A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ?? -- Hardware Aspects -- An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems -- Programmable Electronic System Design & Verification Utilizing DFM -- SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller -- Safety Assessment I -- Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach -- Estimating Dependability of Programmable Systems Using BBNs -- Design for Safety -- Improvements in Process Control Dependability through Internet Security Technology -- A Survey on Safety-Critical Multicast Networking -- Invited Paper -- Causal Reasoning about Aircraft Accidents -- Transport & Infrastructure -- Controlling Requirements Evolution: An Avionics Case Study -- HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems -- Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components -- Safety Assessment II -- Risk Ordering of States in Safecharts -- Dependability Evaluation: Model and Method Based on Activity Theory -- Forensic Software Engineering and the Need for New Approaches to Accident Investigation. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1943 606 $aComputer engineering 606 $aComputers 606 $aData encryption (Computer science) 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aComputer logic 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aComputing Milieux$3https://scigraph.springernature.com/ontologies/product-market-codes/I24008 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aComputer engineering. 615 0$aComputers. 615 0$aData encryption (Computer science). 615 0$aSoftware engineering. 615 0$aSpecial purpose computers. 615 0$aComputer logic. 615 14$aComputer Engineering. 615 24$aComputing Milieux. 615 24$aCryptology. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 676 $a005.1 702 $aKoornneef$b Floor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeulen$b Meine van der$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aSAFECOMP 2000 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466362103316 996 $aComputer Safety, Reliability, and Security$9772429 997 $aUNISA LEADER 00963nam a22002531i 4500 001 991002901499707536 005 20030816150120.0 008 030925s1896 it |||||||||||||||||ita 035 $ab12352548-39ule_inst 035 $aARCHE-040008$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a852.4 100 1 $aTasso, Torquato$0294660 245 10$aProse scelte /$cTorquato Tasso ; annotate ad uso delle scuole da Giuseppe Finzi 260 $aVerona :$bDonato Tedeschi,$c1896 300 $a224 p. ;$c19 cm 650 4$aTasso, Torquato$xOpere 700 1 $aFinzi, Giuseppe$d<1852-1922> 907 $a.b12352548$b02-04-14$c08-10-03 912 $a991002901499707536 945 $aLE002 It. VII C 2 (Fondo Sanesi)$g1$i2002000164490$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12756520$z08-10-03 996 $aProse scelte$9154597 997 $aUNISALENTO 998 $ale002$b08-10-03$cm$da $e-$fita$git $h0$i1 LEADER 01378nam 2200373I 450 001 9910706952103321 005 20180416094045.0 035 $a(CKB)5470000002459957 035 $a(OCoLC)1031373534 035 $a(EXLCZ)995470000002459957 100 $a20180416d2016 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNarrative timeline of the Pacific Northwest 2015 fire season /$fUnited States Department of Agriculture 210 1$a[Washington, D.C.] :$cU.S. Department of Agriculture, U.S. Forest Service, Pacific Northwest Region,$d[2016]. 215 $a1 online resource (281 pages) $ccolor illustrations, color maps 300 $a"Lead authors and editors: Tim Sexton... Editor, Paul Keller"--Page 74. 517 1 $aPNW fire narrative 2017 606 $aForest fires$zNorthwest, Pacific$xHistory 606 $aWildfires$zNorthwest, Pacific$xHistory 615 0$aForest fires$xHistory. 615 0$aWildfires$xHistory. 700 $aSexton$b Tim$01410959 702 $aKeller$b Paul 712 02$aUnited States.$bForest Service.$bPacific Northwest Region, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910706952103321 996 $aNarrative timeline of the Pacific Northwest 2015 fire season$93500965 997 $aUNINA