Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Formal Techniques for Safety-Critical Systems

Name: Formal Techniques for Safety-Critical Systems
Brand: Springer, Berlin
SKU: 28349811
Price: 54.44 EUR
Availability: InStock
Author: Osman Hasan
ISBN: 9783030469016

7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Osman Hasan

Frédéric Mallet

Language

English

Book Paperback

Libristo code: 28349811

Publishers Springer, Berlin, November 2019

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Technique... Full description

Libristo code: 28349811

132 b

54.44 €

106.47 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

A magyar hadiipar története Dombrády Lóránd; Germuska Pál; Kovács Gézapéter; Kovács Vilmos

Hardback

16.14 € 31.57 лв

Russie David Teurtrie

Paperback

14.59 € 28.53 лв

Respire... Et découvre qui tu es ! Von Bargen

Book

24.89 € 48.68 лв

Catalogue d'Objets d'Art Et d'Ameublement de la Collection de M. B. Charles Mannheim

Paperback

14.59 € 28.53 лв

Économie-Gestion 2de Bac Pro (2019) - Pochette élève VAZIA

Paperback

24.89 € 48.68 лв

Someday My Prince Will Come Hank Mobley Audio

Audio CD

22.51 € 44.02 лв

Fiedel-Max - Schule 4 Andrea Holzer-Rhomberg

Sheet

15.16 € 29.65 лв

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.