Articles liés à Industrial Use of Formal Methods: Formal Verification
Synopsis
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain.
This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.
The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
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 the software engineering domain (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.
Résultats de recherche pour Industrial Use of Formal Methods: Formal Verification
Image d'archives
Industrial Use Of Formal Methods: Formal Verification
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 ABEOCT25-220399
Acheter neuf
EUR 130,07
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Industrial Use of Formal Methods: Formal Verification
Edité par
Wiley-ISTE, 2012
ISBN 10 : 1848213638
ISBN 13 : 9781848213630
Ancien ou d'occasion
Couverture rigide
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-J-012-02980
Acheter D'occasion
EUR 136,79
Expédition à EUR 12,43
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Industrial Use of Formal Methods: Formal Verification (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. N° de réf. du vendeur 22201579b85dd50c9ecd780a8a3d601f
Acheter neuf
EUR 145,42
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Industrial Use of Formal Methods: Formal Verification
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9781848213630_new
Acheter neuf
EUR 176,95
Expédition à EUR 14
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Industrial Use of Formal Methods: Formal Verification
Edité par
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10 : 1848213638
ISBN 13 : 9781848213630
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. New copy - Usually dispatched within 4 working days. N° de réf. du vendeur B9781848213630
Acheter neuf
EUR 177,33
Expédition à EUR 20,16
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Industrial Used of Formal Method
Edité par
John Wiley & Sons, 2012
ISBN 10 : 1848213638
ISBN 13 : 9781848213630
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 320. N° de réf. du vendeur 25071266
Acheter neuf
EUR 191,72
Expédition à EUR 7,60
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Industrial Used of Formal Method
Edité par
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10 : 1848213638
ISBN 13 : 9781848213630
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the formal technics (such proof and model-checking) on industrial examples for the transportation domain. Editor(s): Boulanger, Jean-Louis. Num Pages: 314 pages, Illustrations. BIC Classification: TG; UM; UYM. Category: (P) Professional & Vocational. Dimension: 237 x 162 x 23. Weight in Grams: 620. . 2012. . . . . N° de réf. du vendeur V9781848213630
Acheter neuf
EUR 194,23
Expédition à EUR 9,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Industrial Used of Formal Method
Edité par
John Wiley & Sons, 2012
ISBN 10 : 1848213638
ISBN 13 : 9781848213630
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 320. N° de réf. du vendeur 2617379709
Acheter neuf
EUR 209,03
Expédition à EUR 3,45
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Industrial Used of Formal Method Formal Verification
Edité par
Iste/Hermes Science Pub, 2012
ISBN 10 : 1848213638
ISBN 13 : 9781848213630
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 1st edition. 298 pages. 9.33x6.38x0.91 inches. In Stock. N° de réf. du vendeur __1848213638
Acheter neuf
EUR 209,99
Expédition à EUR 14,61
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Industrial Used of Formal Method
Edité par
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10 : 1848213638
ISBN 13 : 9781848213630
Neuf
Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the formal technics (such proof and model-checking) on industrial examples for the transportation domain. Editor(s): Boulanger, Jean-Louis. Num Pages: 314 pages, Illustrations. BIC Classification: TG; UM; UYM. Category: (P) Professional & Vocational. Dimension: 237 x 162 x 23. Weight in Grams: 620. . 2012. . . . . Books ship from the US and Ireland. N° de réf. du vendeur V9781848213630
Acheter neuf
EUR 249,42
Expédition à EUR 9,07
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles