Articles liés à Formal Methods Applied to Industrial Complex Systems
Synopsis
A presentation of real examples of industrial uses for formalmethods such as SCADE, the B–Method, ControlBuild, Matelo, etc. invarious fields, such as railways, aeronautics, and the automotiveindustry, the purpose of this book is to present a summary ofexperience on the use of these formal methods (suchas proof and model–checking) in industrial examples of complexsystems.
It is based on the experience of people who are currently involvedin the creation and evaluation of safety critical system software.The involvement of people from within the industry allows us toavoid the usual problems of confidentiality which could arise andthus enables us to supply new useful information (photos,architecture plans, real examples, etc.).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in software engineering (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurISTE Ltd and John Wiley & Sons Inc
- Date d'édition2014
- ISBN 10 1848216327
- ISBN 13 9781848216327
- ReliureRelié
- Langueanglais
- Nombre de pages480
- ÉditeurBoulanger Jean-Louis
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 158
EUR 2,91 expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Formal Methods Applied to Industrial Complex Systems
Image d'archives
Formal Methods Applied to Industrial Complex Systems
Edité par
ISTE LTD, 2014
ISBN 10 : 1848216327
ISBN 13 : 9781848216327
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 480 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 24356668/2
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods Applied To Industrial Complex Systems
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-348738
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19638202-n
Quantité disponible : 9 disponible(s)
Image fournie par le vendeur
Formal Methods Applied to Industrial Complex Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19638202-n
Quantité disponible : 9 disponible(s)
Image d'archives
Formal Methods Applied to Industrial Complex Systems
Edité par
ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10 : 1848216327
ISBN 13 : 9781848216327
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9781848216327
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods Applied to Industrial Complex Systems
Edité par
Wiley-ISTE, 2014
ISBN 10 : 1848216327
ISBN 13 : 9781848216327
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 19638202
Quantité disponible : 9 disponible(s)
Image fournie par le vendeur
Formal Methods Applied to Industrial Complex Systems
Edité par
Wiley-ISTE, 2014
ISBN 10 : 1848216327
ISBN 13 : 9781848216327
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 19638202
Quantité disponible : 9 disponible(s)
Image fournie par le vendeur
Formal Methods Applied to Industrial Complex Systems
Edité par
John Wiley & Sons, 2014
ISBN 10 : 1848216327
ISBN 13 : 9781848216327
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of . N° de réf. du vendeur 556581080
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods Applied to Industrial Complex Systems (Computer Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781848216327_new
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods Applied to Industrial Complex Systems
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware - A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these 'formal methods' (such as proof and model-checking) in industrial examples of complex systems.It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.). N° de réf. du vendeur 9781848216327
Quantité disponible : 1 disponible(s)