Title of article :
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Author/Authors :
L.J. Steggles and P. Kosiuczenko ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Pages :
30
From page :
61
To page :
90
Keywords :
Real-time , SDL (Specification and Description Language) , Algebraic semantics , Term rewriting
Journal title :
Automated Software Engineering
Serial Year :
2000
Journal title :
Automated Software Engineering
Record number :
307062
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=307062
بازگشت