Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers by Cyrille ArthoFormal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers by Cyrille Artho

Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg…

byCyrille ArthoEditorPeter Csaba Ölveczky

Paperback | April 23, 2015

Pricing and Purchase Info

$96.95

Earn 485 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg…Format:PaperbackDimensions:257 pages, 23.5 × 15.5 × 0.01 inPublished:April 23, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319175807

ISBN - 13:9783319175805

Look for similar items by category:

Reviews

Table of Contents

Case studies and experience reports on the use of formal methods for analyzing.- Safety-critical systems.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.