Graphic visualization and animation of LOTOS execution traces

Bernard Stepien، نويسنده , , Luigi Logrippo، نويسنده ,

روزنامه با شماره پیاپی سال 2002

17

665

681

LOTOS , Formal description techniques , Language of temporal orderingspecifications , MSC , Message sequence charts , Graphic animation , Telecommunications software engineering

Computer Networks

2002

Computer Networks

299205