Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

AvAdrian Riesco,Min Zhang

Häftad, Engelska, 2022

551 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Fundamentals of 3D Food Printing and Applications

Fernanda C. Godoi, Bhesh Bhandari, Sangeeta Prakash, Min Zhang, PhD (Tessenderlo Innovation Center; R&D Expert - Bio-valorization) Godoi, Fernanda C., Australia) Bhandari, Bhesh, PhD (University of Queensland, Australia) Prakash, Sangeeta, PhD (School of Agriculture and Food Sciences, The University of Queensland, China) Zhang, Min, PhD (School of Food Science and Technology, Jiangnan University, Bhesh R. Bhandari

Häftad

2 398 kr