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 |
---|
Original language | English |
---|
Publication status | Published - 1996 |
---|