Title of article
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Author/Authors
J. -P. Courtiat، نويسنده , , C. A. S. Santos، نويسنده , , P. Sénac and C. Lohr ، نويسنده , , B. Outtaj، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
20
From page
1104
To page
1123
Keywords
Formal specification and verification , LOTOS , RT-LOTOS , Temporal consistency , Timed automata
Journal title
Computer Communications
Serial Year
2000
Journal title
Computer Communications
Record number
309213
Link To Document