DC + RSL

Research output: Book/Report › Report › Research › peer-review

Abstract

This document gives some initial ideas of how the Duration Calculus (DC) can be integrated with the RAISE Specification Language (RSL).

Original language	English

Publication status	Published - 1996

TY - RPRT

T1 - DC + RSL

AU - Haxthausen, Anne

PY - 1996

Y1 - 1996

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

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

M3 - Report

BT - DC + RSL

ER -