Formal Methods for Industrial Critical Systems, Michael Dierkes; Charles Pecheur

Автор: Manuel N??ez; Matthias G?demann
Название: Formal Methods for Industrial Critical Systems
ISBN: 3319194577 ISBN-13(EAN): 9783319194578
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications;

Автор: Cyrille Artho; Peter Csaba ?lveczky
Название: Formal Techniques for Safety-Critical Systems
ISBN: 3319539450 ISBN-13(EAN): 9783319539454
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions.

Автор: Cyrille Artho; Peter Csaba ?lveczky
Название: Formal Techniques for Safety-Critical Systems
ISBN: 3319054155 ISBN-13(EAN): 9783319054155
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Автор: Mar?a Alpuente; Byron Cook; Christophe Joubert
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642045693 ISBN-13(EAN): 9783642045691
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Автор: Darren Cofer; Alessandro Fantechi
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642032397 ISBN-13(EAN): 9783642032394
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .

Автор: Fr?d?ric Lang; Francesco Flammini
Название: Formal Methods for Industrial Critical Systems
ISBN: 3319107011 ISBN-13(EAN): 9783319107011
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. They are organized in topical sections named: cyber-physical systems; railway control systems;

Автор: ter Beek
Название: Critical Systems: Formal Methods and Automated Verification
ISBN: 3319459422 ISBN-13(EAN): 9783319459424
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti
Название: Critical Systems: Formal Methods and Automated Verification
ISBN: 331967112X ISBN-13(EAN): 9783319671123
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.

Автор: Felix Redmill; Tom Anderson
Название: Industrial Perspectives of Safety-critical Systems
ISBN: 3540761896 ISBN-13(EAN): 9783540761891
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The first two chapters reflect half-day tutorials - Managing a Safety-critical System Development Project and Principles of Safety Management - held on the first day of the event, and the following 15 are contributed by the presenters of papers on the next two days.

Автор: Michael G. Hinchey; Jonathan P. Bowen
Название: Industrial-Strength Formal Methods in Practice
ISBN: 1852336404 ISBN-13(EAN): 9781852336400
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text provides guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter contains background information, introductions to the techniques being used, fragments of formalized components, details of results and an analysis of the overall approach.

Автор: James C.P. Woodcock; Peter G. Larsen
Название: FME `93: Industrial-Strength Formal Methods
ISBN: 3540566627 ISBN-13(EAN): 9783540566625
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The symposium upon which this text is based focuses on the application of industrial-strength formal methods. The papers address the difficulties of scaling techniques up to industrial-sized problems, and their suitability in the workplace.

Автор: Marie-Claude Gaudel; James Woodcock
Название: FME `96: Industrial Benefit and Advances in Formal Methods
ISBN: 3540609733 ISBN-13(EAN): 9783540609735
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings address all relevant aspects of formal methods, from the point of view of the industrial R&D professional, as well as from the academic viewpoint. They also document progress in the use of formal methods for the solution of real-world problems.