This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
€51.16
Daftar Isi
Applications.- Protocols.- Specification and analysis.- Verification.
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format PDF ● Halaman 213 ● ISBN 9783319194585 ● Editor Manuel Núñez & Matthias Güdemann ● Penerbit Springer International Publishing ● Kota Cham ● Negara CH ● Diterbitkan 2015 ● Diunduh 24 bulan ● Mata uang EUR ● ID 4456083 ● Perlindungan salinan DRM sosial
Ebook lainnya dari penulis yang sama / Editor
2,858 Ebooks dalam kategori ini
