Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ait-Ameur, Yamine (Editor, http://id.loc.gov/vocabulary/relators/edt), Qin, Shengchao (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Programming and Software Engineering ; 11852
• Subjects: Computers.; Artificial intelligence.; Software engineering.; Computer organization.; Computer simulation.; Theory of Computation.; Artificial Intelligence.; Software Engineering.; Computer Systems Organization and Communication Networks.; Simulation and Modeling.

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent...