Extensions.StateMachineProcedure.StateMachineProcedureChk008

From emotive
Revision as of 04:31, 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_Chk008
Class StateMachineProcedure
Severity Critical
SpecifiedBy ISO 13209-4

Description

The completed state shall refer to an existing state inside the same procedure.

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