Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk
| Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXXVI, 422 p. 170 illus. in color.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Computer security Computer organization Logics and Meanings of Programs Software Engineering Systems and Data Security Computer Systems Organization and Communication Networks |
| ISBN | 3-319-24249-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466462503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk
| Computer Safety, Reliability, and Security [[electronic resource] ] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXII, 486 p. 141 illus. in color.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Programming languages (Electronic computers) Software engineering Computer security Application software Computer organization Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Systems and Data Security Computer Applications Computer Systems Organization and Communication Networks |
| ISBN | 3-319-24255-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466462803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk
| Computer Safety, Reliability, and Security : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXXVI, 422 p. 170 illus. in color.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Computer security Computer organization Logics and Meanings of Programs Software Engineering Systems and Data Security Computer Systems Organization and Communication Networks |
| ISBN | 3-319-24249-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483731503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk
| Computer Safety, Reliability, and Security : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / / edited by Floor Koornneef, Coen van Gulijk |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXII, 486 p. 141 illus. in color.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Programming languages (Electronic computers) Software engineering Computer security Application software Computer organization Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Systems and Data Security Computer Applications Computer Systems Organization and Communication Networks |
| ISBN | 3-319-24255-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484213203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / / edited by Floor Koornneef, Meine van der Meulen
| Computer Safety, Reliability, and Security [[electronic resource] ] : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / / edited by Floor Koornneef, Meine van der Meulen |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 438 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computers Data encryption (Computer science) Software engineering Special purpose computers Computer logic Computer Engineering Computing Milieux Cryptology Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Logics and Meanings of Programs |
| ISBN | 3-540-40891-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited 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. |
| Record Nr. | UNISA-996466362103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / / edited by Floor Koornneef, Meine van der Meulen
| Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / / edited by Floor Koornneef, Meine van der Meulen |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 438 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computers Data encryption (Computer science) Software engineering Computers, Special purpose Computer logic Computer Engineering Computing Milieux Cryptology Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Logics and Meanings of Programs |
| ISBN | 3-540-40891-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited 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. |
| Record Nr. | UNINA-9910143610903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||