Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
by
Artho, Cyrille. editor.
Title
:
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Author
:
Artho, Cyrille. editor.
ISBN
:
9783319175812
Edition
:
1st ed. 2015.
Physical Description
:
X, 257 p. 86 illus. online resource.
Series
:
Communications in Computer and Information Science, 476
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.
Added Author
:
Artho, Cyrille.
Ölveczky, Peter Csaba.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 518522-1001 | XX(518522.1) | | Elektronik Kütüphane |