Opening book details…
Can I read Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings on EtoBox?
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings by Zhenhua Duan, Luke Ong (eds.) is a nonfiction available to read on EtoBox.
What is Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings about?
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Who reads Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Zhenhua Duan, Luke Ong (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2017
- Language
- EN
- ISBN
- 9783319686905
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Programming
More by Zhenhua Duan, Luke Ong (eds.)
Browse all works by Zhenhua Duan, Luke Ong (eds.)
Similar books
- Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings — Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (2010)
- Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings — Yamine Aït-Ameur; Shengchao Qin (2019)
- Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings — Stephan Merz and Jun Pang (2014)
- Information Security and Cryptology : 13th International Conference, Inscrypt 2017, Xi'an, China, November 3–5, 2017, Revised Selected Papers — Xiaofeng Chen,Dongdai Lin,Moti Yung (2018)
- Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings — Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (2011)
- Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings — Shang-Wei Lin, Zhe Hou, Brendan Mahoney (2021)