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
Inhoudsopgave
Applications.- Protocols.- Specification and analysis.- Verification.
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 213 ● ISBN 9783319194585 ● Editor Manuel Núñez & Matthias Güdemann ● Uitgeverij Springer International Publishing ● Stad Cham ● Land CH ● Gepubliceerd 2015 ● Downloadbare 24 maanden ● Valuta EUR ● ID 4456083 ● Kopieerbeveiliging Sociale DRM
Meer e-boeken van dezelfde auteur (s) / Editor
2.858 E-boeken in deze categorie
