Overview

RSL


Show Summary Details

Quick Reference

A specification language for time-critical real-time systems. Statements in RSL are machine processed to produce an abstract semantic model of the system. RSL has four language primitives: elements, relationships, attributes, and structures. Users may define new elements, relationships, and attributes to the set predefined in RSL.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.