Formal methods for design and simulation of embedded systems

    Project Details

    StatusFinished
    Effective start/end date01/06/2009 → 30/08/2013
    View all
    View less

    Research Output

    • 1 Ph.D. thesis

    Formal methods for design and simulation of embedded systems

    Jakobsen, M. K., 2013, Kgs. Lyngby: Technical University of Denmark. 190 p. (PHD-2013; No. 289).

    Research output: Book/Report › Ph.D. thesis

    Open Access
    File