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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=309213
