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 de archivo
Formal Methods Applied to Complex Systems: Implementation of the B Method
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
Condición: new. Nº de ref. del artículo: c83f9d15357dd2c013e4b0ff535368e8
Comprar nuevo
EUR 181,57
Envío por EUR 8,00
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: 14 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 198,60
Envío por EUR 2,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 14 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: As New. Unread book in perfect condition. Nº de ref. del artículo: 21314149
Comprar usado
EUR 200,94
Envío por EUR 2,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 14 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 195,15
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 14 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 200,41
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 14 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 218,81
Envío por EUR 6,79
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 14 disponibles
Imagen del vendedor
Formal Methods Applied to Complex Systems
Publicado por
ISTE Ltd and John Wiley and Sons Inc, GB, 2014
ISBN 10: 1848217099
ISBN 13: 9781848217096
Nuevo
Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. 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.). Nº de ref. del artículo: LU-9781848217096
Comprar nuevo
EUR 226,53
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 7 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 228,72
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
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Publicado por
Wiley-ISTE 2014-07-04, 2014
ISBN 10: 1848217099
ISBN 13: 9781848217096
Nuevo
Tapa dura
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-WLY-9781848217096
Comprar nuevo
EUR 219,19
Envío por EUR 17,91
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 14 disponibles
Imagen de archivo
Formal Methods Applied to Industrial Complex Systems:.
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 496. Nº de ref. del artículo: 142503003
Comprar nuevo
EUR 237,50
Envío por EUR 7,52
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