Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Brijesh Dongol, Elena Troubitsyna

Informasi Dasar

20 kali
22.21.328
004
Buku - Elektronik (E-Book)
1

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.

The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

Subjek

COMPUTER SCIENCE
 

Katalog

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
978-3-030-63461-2
460p; pdf ; 18,6 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Brijesh Dongol, Elena Troubitsyna
Perorangan
 
 

Penerbit

Springer
New York
2020

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini