Formal methods applied to complex systems: implementation of the B method

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...

Celý popis

Podrobná bibliografie

Hlavní autor:	Boulanger, Jean-Louis
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Wiley-Blackwell 22.07.2014
Edice:	Computer engineering series
Témata:	B method (Computer science) Computer science Formal methods (Computer science)
ISBN:	1848217099, 9781848217096
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!