Switched bond graphs as front-end to formal verification of hybrid systems

J.E. Stromberg, S. Nadjim-Tehrani, J.L. Top

    Research output: Book/ReportBookAcademic

    10 Citations (Scopus)
    Original languageEnglish
    PublisherSpringer
    Publication statusPublished - 1996

    Publication series

    NameLecture Notes in Computer Science

    Cite this