Affordable Access

A RAISE Specification Framework and Justification assistant for the Duration Calculus

Authors
Publication Date
Source
Online Research Database In Technology
External links

Abstract

Statistics

Seen <100 times