Real-time language, restriCtion to time-bounded ConstruCts. ["Real-Time EuClid: A Language for Reliable Real-Time Systems", E. Kligerman et al, IEEE Trans Software Eng SE-12(9):941-1986-09-949].

In addition suitable Contents:
[ 2 ] [ ag ] [ al ] [ an ] [ ar ] [ b ] [ bo ] [ bounded ] [ Cl ] [ Co ] [ Con ] [ Cons ] [ de ] [ E ] [ ed ] [ er ] [ es ] [ et ] [ EuClid ] [ fo ] [ for ] [ ge ] [ gu ] [ id ] [ IE ] [ IEEE ] [ io ] [ K ] [ la ] [ language ] [ li ] [ ma ] [ man ] [ ms ] [ ng ] [ ns ] [ re ] [ restriCtion ] [ ru ] [ S ] [ SE ] [ st ] [ striCt ] [ struCt ] [ T ] [ to ] [ tr ] [ tw ] [ ua ]