مرکز منطقه ای اطلاع رساني علوم و فناوري - Using LOTOS in the specification of industrial bus communication protocols

Title of article :

Using LOTOS in the specification of industrial bus communication protocols

Author/Authors :

Perfecto Marino، نويسنده , , Miguel angel Dom?nguez، نويسنده , , Francisco Poza، نويسنده , , Fernando Vazquez، نويسنده ,

Issue Information :

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

Pages :

From page :

767

To page :

799

Keywords :

WorldFIP , LOTOS , Formal description techniques (FDTs) , Fieldbuses , validation

Journal title :

Computer Networks

Serial Year :

2004

Journal title :

Computer Networks

Record number :

299432

Link To Document :