ProCoS - Provably Correct Systems

  • Bjørner, Dines (Project Manager)

    Project Details

    Description

    Research into and Development of Formal Specification and Design Calculi Techniques and Tools for the Development of Real-time, Embedded Safety Critical Systems
    StatusFinished
    Effective start/end date01/09/198928/02/1992

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.