Formal Methods for Industrial Critical Systems, 18th International Workshop (FMICS 2013)

TitleFormal Methods for Industrial Critical Systems, 18th International Workshop (FMICS 2013)
Publication TypeBook
Year of Publication2013
AuthorsPecheur, C, Dierkes M
Volume8187
PublisherSpringer
URLhttp://lvl.info.ucl.ac.be/Publications/FormalMethodsForIndustrialCriticalSystems18thInternationalWorkshopFMICS2013