Extensions.StateMachineProcedure.StateMachineProcedureChk007

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

Description

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

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