Model generation for the verification of automatically generated mechatronic control software

MJ Foeken, M Voskuijl, A.A. Alvarez Cabrera, MJL van Tooren

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    6 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of 2008 IEEE/ASME Intern. conference on mechatronic & embedded systems & applications
    EditorsCheng H.H. Luo R.C.
    Place of PublicationBejing, China
    PublisherIEEE Society
    Pages275-280
    Number of pages6
    ISBN (Print)978-1-4244-2367-5
    Publication statusPublished - 2008
    EventInternational conference on mechatronic and embedded systems and applications - Bejing, China
    Duration: 12 Oct 200815 Oct 2008

    Publication series

    Name
    PublisherIEEE

    Conference

    ConferenceInternational conference on mechatronic and embedded systems and applications
    Period12/10/0815/10/08

    Keywords

    • Conf.proc. > 3 pag

    Cite this