Title of article
Graphic visualization and animation of LOTOS execution traces
Author/Authors
Bernard Stepien، نويسنده , , Luigi Logrippo، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
17
From page
665
To page
681
Keywords
LOTOS , Formal description techniques , Language of temporal orderingspecifications , MSC , Message sequence charts , Graphic animation , Telecommunications software engineering
Journal title
Computer Networks
Serial Year
2002
Journal title
Computer Networks
Record number
299205
Link To Document