Frank Ortmeier

Peter Daniel

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.

31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings

Computer Safety, Reliability, and Security

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP 97 provides an opportunity for technical developers, users and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).

The 16th International Conference on Computer Safety, Reliability and Security

Safe Comp 97

Johannes Diethart

Herbert Kuhner

If the walls between us were made of glass

Beryn Daniel

Considered the “kitchen bible” by healthy foodies around the world, Rawlicious is an accessible how-to guide and cookbook for anyone interested in reaping the benefits of a raw food diet No longer on the outermost fringe of the food world, the raw food diet is becoming increasingly mainstream as its health benefits have become clearer and celebrities such as Demi Moore become enthusiastic converts. Eager to show that a diet that includes a high percentage of raw foods is not difficult to achieve, chefs Peter and Beryn Daniel created this beautiful, accessible cookbook and guide to raw kitchen basics. Rawlicious introduces readers to a lifestyle that marries long-term health benefits and higher energy levels with delicious and simple raw recipes. Rawlicious covers a broad spectrum of recipes and raw principles, from basics like stocking your raw kitchen, juicing, salad preparation, and making smoothies, to more advanced, gourmet dishes. Stunning full-color photos throughout will inspire readers to get into their kitchen, and clear, easy instructions to 144 recipes will encourage them to stay. In South Africa, where Rawlicious was published in August 2009, readers have enthusiastically embraced the book as their “kitchen bible,” their primary raw food resource above all others. Clean design and clear explanations of raw food principles and recipes make this one of the most inviting raw recipe books on the market. The new edition offers both U.S. and metric measurements for an international audience.

Delicious Raw Recipes for Radiant Health

Rawlicious

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012. The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).

Peter Daniel

About

Books

Join the club