Artículos relacionados a Industrial Use of Formal Methods: Formal Verification
Sinopsis
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).
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Industrial Use of Formal Methods: Formal Verification
Imagen de archivo
Industrial Use Of Formal Methods: Formal Verification
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-220399
Comprar nuevo
EUR 130,07
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Industrial Use of Formal Methods: Formal Verification
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: Z1-J-012-02980
Comprar usado
EUR 136,79
Envío por EUR 12,43
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Industrial Use of Formal Methods: Formal Verification (eng)
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Nº de ref. del artículo: 22201579b85dd50c9ecd780a8a3d601f
Comprar nuevo
EUR 145,42
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Industrial Use of Formal Methods: Formal Verification
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9781848213630_new
Comprar nuevo
EUR 176,95
Envío por EUR 14,00
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Industrial Use of Formal Methods: Formal Verification
Publicado por
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10: 1848213638
ISBN 13: 9781848213630
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. New copy - Usually dispatched within 4 working days. Nº de ref. del artículo: B9781848213630
Comprar nuevo
EUR 177,33
Envío por EUR 20,16
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Industrial Used of Formal Method
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 320. Nº de ref. del artículo: 25071266
Comprar nuevo
EUR 191,72
Envío por EUR 7,60
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Industrial Used of Formal Method
Publicado por
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10: 1848213638
ISBN 13: 9781848213630
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: V9781848213630
Comprar nuevo
EUR 194,23
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Industrial Used of Formal Method
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 320. Nº de ref. del artículo: 2617379709
Comprar nuevo
EUR 209,03
Envío por EUR 3,45
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Industrial Used of Formal Method Formal Verification
Publicado por
Iste/Hermes Science Pub, 2012
ISBN 10: 1848213638
ISBN 13: 9781848213630
Nuevo
Tapa dura
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 1st edition. 298 pages. 9.33x6.38x0.91 inches. In Stock. Nº de ref. del artículo: __1848213638
Comprar nuevo
EUR 209,99
Envío por EUR 14,61
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Industrial Used of Formal Method
Publicado por
ISTE Ltd and John Wiley & Sons Inc, 2012
ISBN 10: 1848213638
ISBN 13: 9781848213630
Nuevo
Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: V9781848213630
Comprar nuevo
EUR 249,42
Envío por EUR 9,07
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles