Extensions.StateMachineProcedure.StateMachineProcedureChk009
Jump to navigation
Jump to search
Classification
| Name | StateMachineProcedure_Chk009 |
| Class | StateMachineProcedure |
| Severity | Critical |
| SpecifiedBy | ISO 13209-4 |
Description
The target state of a transition will refer to an existing state inside the same procedure.
