1 option
FTSCS '22 : proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems : December 7, 2022, Auckland, New Zealand / Cyrille Artho, Peter Csaba Ölveczky.
- Format:
- Book
- Author/Creator:
- Artho, Cyrille, author.
- Ölveczky, Peter Csaba, author.
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Software engineering--Congresses.
- Software engineering.
- System safety--Congresses.
- System safety.
- Physical Description:
- 1 online resource (94 pages)
- Other Title:
- FTSCS 2022
- Place of Publication:
- New York, New York : Association for Computing Machinery, 2022.
- Summary:
- This volume contains the proceedings of the Eighth ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), held in Auckland, New Zealand, on December 7, 2022, as a satellite event of SPLASH 2022: The ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods.
- Notes:
- Description based on publisher supplied metadata and other sources.
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.