Formal Methods and Software Engineering

Title	:	Formal Methods and Software Engineering
Author	:	Yi Li & Sofiène Tahar
Release	:	2023-11-09
Kind	:	ebook
Genre	:	Computers, Books, Computers & Internet, Programming, Software
Size	:	30944161

Download Free Read Free

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

More Books from Yi Li & Sofiène Tahar

Assessment of Environmental Impact by Grocery Shopping Bags

Subramanian Senthilkannan Muthu & Yi Li

Spatiotemporal Dynamics of Meteorological and Agricultural Drought in China

Yi Li, Faliang Yuan, Qiang Zhou, Fenggui Liu, Asim Biswas, Guang Yang & Zhihao Liao

Heterogeneous Facial Analysis and Synthesis

Yi Li, Huaibo Huang, Ran He & Tieniu Tan

Experimental Investigation of Human Decision Processes in Portfolio Decision Analysis

Yi Li

Mostra di Pittura Margutta vol.2/2024

Malvina Aleksandrova, Monica Bandecca, Maria Berritto, Enzo Costa, Waze&Arya, Lucyna Ewa Czub, Barbara Droghini, Gennaro Francese, Alessandro Gambino, Paola Innocenti, Yi Li, Oriana Locche, Natalia Loddo, Valentina Lombardi, Maria, Luciano Midolo, Selene Miozzo, Daina Aurora Prato, Sergio Riccardi, Sara Righetti, Alessandra Rondinelli, Tania Sardo, Cristiana Savini, Claudio Tonelli, Daniela Valentini, Cristina Vannucci, Hanna Varabei, Maria Pia Gigliofiorito, Eleonora Valguarnera & Giorgia Pignatelli