Visible to the public Automatic Verification of Linear Controller Software

TitleAutomatic Verification of Linear Controller Software
Publication TypeConference Paper
Year of Publication2015
AuthorsPajic, Miroslav, Park, Junkil, Lee, Insup, Pappas, George J., Sokolsky, Oleg
Conference NameProceedings of the 12th International Conference on Embedded Software
PublisherIEEE Press
Conference LocationAmsterdam, The Netherlands
ISBN Number978-1-4673-8079-9
Keywords1505701
URLhttp://dl.acm.org/citation.cfm?id=2830865.2830889
Citation Keypajic_emsoft15