Catalog > Științe > Informatică > Aplicație software > Cyrille Artho & Peter Csaba Olveczky: Formal Techniques for Safety-Critical Systems (PDF)

Cyrille Artho & Peter Csaba Olveczky
Formal Techniques for Safety-Critical Systems [PDF ebook]
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29–30, 2013. Revised Selected Papers

Ajutor

Copertina de Cyrille Artho & Peter Csaba Olveczky: Formal Techniques for Safety-Critical Systems (PDF)

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

€57.59

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9783319054162 ● Editor Cyrille Artho & Peter Csaba Olveczky ● Editura Springer International Publishing ● Publicat 2014 ● Descărcabil 3 ori ● Valută EUR ● ID 6302708 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Cyrille Artho Peter Csaba Olveczky

16.941 Ebooks din această categorie

Copertina de Gavin Powell: Database Modeling Step by Step

Gavin Powell: Database Modeling Step by Step

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …

Copertina de Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Practical Handbook to understand the hidden language of computer hardware and software DESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and …

Copertina de Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process

Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process

There is an intrinsic conflict between creating secure systems and usable systems. But usability and security can be made synergistic by providing requirements and design tools with specific usable s …

Copertina de Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …

Copertina de Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Copertina de Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

Copertina de Scott Meyers: Effective C++ Digital Collection

Scott Meyers: Effective C++ Digital Collection

Scott Meyers’s seminal C++ books– Effective C++ , More Effective C++ , and Effective STL –have been immensely helpful to hundreds of thousands of C++ programmers. All three are finally available toge …

Copertina de Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

Copertina de Elvis Foster & Bradford Towle Jr.: Software Engineering

Elvis Foster & Bradford Towle Jr.: Software Engineering

Software Engineering: A Methodical Approach (Second Edition) provides a comprehensive, but concise introduction to software engineering. It adopts a methodical approach to solving software engineerin …

Copertina de Venkata Rao Dr. Edara: Factors That Impact Software Project Success in Offshore Information Technology (IT) Companies

Venkata Rao Dr. Edara: Factors That Impact Software Project Success in Offshore Information Technology (IT) Companies

Information technology (IT) projects are unsuccessful at a rate of 65% to 75% annually, in spite of those undertaking these projects employing the latest technologies and spending significant amount …

Pagina următoare >>>