An Introduction to Formal Methods for the Development of Safety-critical Applications

    Activity: Public and private sector consultancyPublic sector consultancy


    Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
    Period1 Sept 2010
    Work forDanish Transport, Construction and Housing Authority, Denmark