DC + RSL

    Research output: Book/ReportReportResearchpeer-review

    Abstract

    This document gives some initial ideas of how the Duration Calculus (DC) can be integrated with the RAISE Specification Language (RSL).
    Original languageEnglish
    Publication statusPublished - 1996

    Cite this