1 option
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky.
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Communications in computer and information science 1865-0929 ; 1008.
- Communications in Computer and Information Science, 1865-0929 ; 1008
- Language:
- English
- Subjects (All):
- Computer logic.
- Software engineering.
- Programming languages (Electronic computers).
- Computer simulation.
- Logic, Symbolic and mathematical.
- Algorithms.
- Logics and Meanings of Programs.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- Simulation and Modeling.
- Mathematical Logic and Formal Languages.
- Algorithm Analysis and Problem Complexity.
- Local Subjects:
- Logics and Meanings of Programs.
- Software Engineering.
- Programming Languages, Compilers, Interpreters.
- Simulation and Modeling.
- Mathematical Logic and Formal Languages.
- Algorithm Analysis and Problem Complexity.
- Physical Description:
- 1 online resource (XII, 179 pages) : 293 illustrations, 23 illustrations in color.
- Edition:
- First edition 2019.
- Contained In:
- Springer eBooks
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2019.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- Invited paper
- Analysis and Verification of Safety-Critical Systems
- Analysis of Timed Systems
- Semantics and Analysis Methods
- Model Transformation.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-12988-0
- 9783030129880
- 9783030129873
- 9783030129897
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.