Formal techniques for safety-critical systems [electronic resource] : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
International Workshop of Formal Techniques for Safety-Critical Systems (3rd : 2014 : Luxembourg, Luxembourg); Artho, Cyrille, editor.; Ölveczky, Peter Csaba, editor.
2015
QA76.9.F67 I58 2015eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal techniques for safety-critical systems [electronic resource] : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers / Cyrille Artho, Peter Csaba Ölveczky (eds.).
Meeting Name International Workshop of Formal Techniques for Safety-Critical Systems (3rd : 2014 : Luxembourg, Luxembourg)
ISBN 9783319175812 electronic book
3319175815 electronic book
9783319175805
DOI https://doi.org/10.1007/978-3-319-17581-2
Published Cham : Springer, 2015.
Language English
Description 1 online resource (x, 257 pages) : illustrations.
Item Number 10.1007/978-3-319-17581-2 doi
Call Number QA76.9.F67 I58 2015eb
Dewey Decimal Classification 004.01/51
Summary This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 28, 2015).
Added Author Artho, Cyrille, editor.
Ölveczky, Peter Csaba, editor.
Series Communications in computer and information science ; 476.
Available in Other Form Print version: 9783319175805
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export