Formal Methods: A Tutorial on Model-oriented Specification

    Activity: Public and private sector consultancy › Public sector consultancy

    Description

    Note: This lecture was given as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
    Period14 Oct 2010
    Work forUnknown