عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
303012987X
(Number (ISBN
3030129888
(Number (ISBN
9783030129873
(Number (ISBN
9783030129880
Erroneous ISBN
9783030129873
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal techniques for safety-critical systems :
General Material Designation
[Book]
Other Title Information
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /
First Statement of Responsibility
Cyrille Artho, Peter Csaba Ölveczky (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2019.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xii, 179 pages) :
Other Physical Details
illustrations (some color)
SERIES
Series Title
Communications in computer and information science,
Volume Designation
1008
ISSN of Series
1865-0929 ;
GENERAL NOTES
Text of Note
Includes author index.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation.
0
SUMMARY OR ABSTRACT
Text of Note
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.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030129880
PARALLEL TITLE PROPER
Parallel Title
FTSCS 2018
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses.
System safety, Congresses.
Systems engineering, Congresses.
Formal methods (Computer science)
System safety.
Systems engineering.
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Artho, Cyrille
Ölveczky, Peter Csaba
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FTSCS (Workshop)(6th :2018 :, Gold Coast, Qld.)
ORIGINATING SOURCE
Date of Transaction
20200823083125.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
