03944nam 22007695 450 99646606990331620200630201704.03-642-24431-910.1007/978-3-642-24431-5(CKB)2550000000052040(SSID)ssj0000609741(PQKBManifestationID)11412060(PQKBTitleCode)TC0000609741(PQKBWorkID)10620853(PQKB)11293888(DE-He213)978-3-642-24431-5(MiAaPQ)EBC3067099(PPN)156319748(EXLCZ)99255000000005204020110824d2011 u| 0engurnn|008mamaatxtccrFormal Methods for Industrial Critical Systems[electronic resource] 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings /edited by Gwen Salaün, Bernhard Schätz1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 261 p.) Programming and Software Engineering ;6959Bibliographic Level Mode of Issuance: Monograph3-642-24430-0 Includes bibliographical references and index.This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.Programming and Software Engineering ;6959Software engineeringComputer logicProgramming languages (Electronic computers)Special purpose computersComputer programmingMathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Computer logic.Programming languages (Electronic computers).Special purpose computers.Computer programming.Mathematical logic.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Special Purpose and Application-Based Systems.Programming Techniques.Mathematical Logic and Formal Languages.005.1Salaün Gwenedthttp://id.loc.gov/vocabulary/relators/edtSchätz Bernhardedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Formal Methods for Industrial Critical SystemsBOOK996466069903316Formal Methods for Industrial Critical Systems773688UNISA