|
" Formal techniques for safety-critical systems : "
Cyrille Artho, Peter Csaba Ölveczky (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
861034
|
| Main Entry
|
:
|
FTSCS (Workshop)(6th :2018 :, Gold Coast, Qld.)
|
| Title & Author
|
:
|
Formal techniques for safety-critical systems : : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /\ Cyrille Artho, Peter Csaba Ölveczky (eds.).
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2019.
|
| Series Statement
|
:
|
Communications in computer and information science,; 1008
|
| Page. NO
|
:
|
1 online resource (xii, 179 pages) :: illustrations (some color)
|
| ISBN
|
:
|
303012987X
|
|
|
:
|
: 3030129888
|
|
|
:
|
: 9783030129873
|
|
|
:
|
: 9783030129880
|
|
|
:
|
9783030129873
|
| Notes
|
:
|
Includes author index.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation.
|
| Abstract
|
:
|
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.
|
| Subject
|
:
|
Formal methods (Computer science), Congresses.
|
| Subject
|
:
|
System safety, Congresses.
|
| Subject
|
:
|
Systems engineering, Congresses.
|
| Subject
|
:
|
Formal methods (Computer science)
|
| Subject
|
:
|
System safety.
|
| Subject
|
:
|
Systems engineering.
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.F67
|
| Added Entry
|
:
|
Artho, Cyrille
|
|
|
:
|
Ölveczky, Peter Csaba
|
| Parallel Title
|
:
|
FTSCS 2018
|
| |