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
Table des matières
Applications.- Protocols.- Specification and analysis.- Verification.
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● Pages 213 ● ISBN 9783319194585 ● Éditeur Manuel Núñez & Matthias Güdemann ● Maison d’édition Springer International Publishing ● Lieu Cham ● Pays CH ● Publié 2015 ● Téléchargeable 24 mois ● Devise EUR ● ID 4456083 ● Protection contre la copie DRM sociale
Plus d’ebooks du même auteur(s) / Éditeur
2 790 Ebooks dans cette catégorie
