Conector de selección; eventos parametrizados; transiciones condicionales; sincronización entre máquinas concurrentes por medio de condiciones sobre los estados; conector condicional. Formalización completa de los requerimientos del cruce ferroviario considerando las dos vías.
Негізгі бет Statecharts (03)
Пікірлер