Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
اقرأ المزيدSafer Healthcare : Strategies for the Real World
The authors of this book set out a system of safety strategies and interventions for managing patient safety on a day-to-day ...
اقرأ المزيد
Safety for Particle Accelerators
The use of non-standard technologies such as superconductivity, cryogenics and radiofrequency pose challenges for the safe ...
اقرأ المزيد
Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines
In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and ...
اقرأ المزيد
Sanificazione nellindustria alimentare = Sanitation in the food industry
This volume is the Italian version of the original Principles of Food Sanitation, now in its fifth edition, whose validity ...
اقرأ المزيدSatisfying Safety Goals by Probabilistic Risk Assessment
Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated ...
اقرأ المزيد
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. ...
اقرأ المزيد
Science of Societal Safety
This book covers comprehensive but fundamental principles and concepts of disaster and accident prevention and mitigation, ...
اقرأ المزيد
Semi-Markov Chains and Hidden Semi-Markov Models toward Applications : Their use in Reliability and DNA Analysis
This book is concerned with the estimation of discrete-time semi-Markov and hidden semi-Markov processes. Semi-Markov processes ...
اقرأ المزيد
Semi-Markov Risk Models for Finance, Insurance and Reliability
This book presents applications of semi-Markov processes in finance, insurance and reliability, using real-life problems ...
اقرأ المزيد
Service-Oriented Computing ICSOC 2006
This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in ...
اقرأ المزيدShock and Damage Models in Reliability Theory
Shock and Damage Models in Reliability Theory is the first book to describe the reliability properties and maintenance policies ...
اقرأ المزيد
Silver Metallization : Stability and Reliability
Silver Metallization: Stability and Reliability provides detailed information on a wide range of experimental, characterization ...
اقرأ المزيد
Simulation, Modeling, and Programming for Autonomous Robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...
اقرأ المزيد
Software Design for Resilient Computer Systems
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
اقرأ المزيد
Software Process Improvement
This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, ...
اقرأ المزيد
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
اقرأ المزيد
Software for Exascale Computing - SPPEXA 2016-2019
This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...
اقرأ المزيد
Solar-Type Activity in Main-Sequence Stars
Solar-type activity over the whole range of the electromagnetic spectrum is a phenomenon inherent in the majority of low- ...
اقرأ المزيد
Solder Joint Technology
Solder joints are ubiquitous in electronic consumer products. The European Union has a directive to ban the use of Pb-based ...
اقرأ المزيد
