ProCoS - Provably Correct Systems

  • Bjørner, Dines (Project Manager)

    Project Details


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


    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.