Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series) - Tapa dura
Sinopsis
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
"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 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Formal Methods Applied to Complex Systems: Implementation...
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 21314149
Comprar usado
EUR 193,99
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 21314149
Comprar usado
EUR 194,17
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Formal Methods Applied to Complex Systems
Publicado por
ISTE Ltd and John Wiley and Sons Inc, 2014
ISBN 10: 1848217099
ISBN 13: 9781848217096
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FW-9781848217096
Comprar nuevo
EUR 215,25
Gastos de envío:
EUR 6,68
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781848217096_new
Comprar nuevo
EUR 209,83
Gastos de envío:
EUR 13,63
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 21314149-n
Comprar nuevo
EUR 224,34
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Formal Methods Applied to Complex Systems (Hardcover)
Publicado por
ISTE Ltd and John Wiley & Sons Inc, London, 2014
ISBN 10: 1848217099
ISBN 13: 9781848217096
Nuevo
Tapa dura
Original o primera edición
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 formal methods (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.). This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9781848217096
Comprar nuevo
EUR 226,70
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems : Implementation of the B Method
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 21314149-n
Comprar nuevo
EUR 209,82
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-WLY-9781848217096
Comprar nuevo
EUR 215,62
Gastos de envío:
EUR 17,62
De Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Gebunden. Condición: New. Inhaltsverzeichnis1. Presentation of the B Method, Jean-Louis Boulanger. 2. Atelier B, Thierry Lecomte. 3. B Tools, Jean-Louis Boulanger. 4. The B Method at Siemens, Daniel Dolle. 5. Industrial Applications for Modeling with the B Me. Nº de ref. del artículo: 597091499
Comprar nuevo
EUR 197,11
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods Applied to Industrial Complex Systems:.
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 496. Nº de ref. del artículo: 142503003
Comprar nuevo
EUR 243,09
Gastos de envío:
EUR 7,39
De Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles