Extensions.StateMachineProcedure.StateMachineProcedureChk009

From emotive
Revision as of 04:33, 20 January 2022 by Ntr2 (talk | contribs) (refs #9361)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 shall refer to an existing state inside the same procedure.

Retrieved from "http://emotive.de/wiki/index.php?title=Extensions.StateMachineProcedure.StateMachineProcedureChk009&oldid=10343"