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: 7th International Conference On Formal Engineering Methods, Icfem 2005, Manchester, Uk, November 1-4, 2005 : Proceedings 7th International Conference On Formal Engineering Methods International Conference On Formal Engineering Methods Icfem 2005 — Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (2005)
- 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: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science, 4260) — Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (2006)
- Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : Proceedings — Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (2008)
- Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings — Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (2013)