Limit search to available items
Book Cover
Author SETTA (Symposium) (4th : 2018 : Beijing, China)

Title Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / Xinyu Feng, Markus Müller-Olm, Zijiang Yang (eds.)
Published Cham, Switzerland : Springer, 2018
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xiv, 201 pages) : illustrations
Series LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science, 0302-9743 ; 10998
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 10998. 0302-9743
Contents Refinement -- Verification -- Timing and Scheduling
Summary This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems
Notes Includes author index
International conference proceedings
Online resource; title from PDF title page (SpringerLink, viewed August 28, 2018)
Subject Software engineering -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Feng, Xinyu, editor
Müller-Olm, Markus, editor
Yang, Zijiang, editor
ISBN 3319999338 (electronic bk.)
9783319999333 (electronic bk.)
Other Titles SETTA 2018