مرکز منطقه ای اطلاع رساني علوم و فناوري - On disjunction of literals in triggers of statecharts transitions

Title of article :

On disjunction of literals in triggers of statecharts transitions

Author/Authors :

Andrea Maggiolo-Schettini، نويسنده , , Simone Tini، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2002

Pages :

From page :

305

To page :

310

Keywords :

Reactive systems , concurrency , Specification languages , Statecharts

Journal title :

Information Processing Letters

Serial Year :

2002

Journal title :

Information Processing Letters

Record number :

129624

Link To Document :