Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Our Statecharts models. (A) - Our models of the coherent simple regulation motifs s1 (left) and s2 (right). The green symbol ∨ represents the logical connective OR and the orange symbol ∧ the logical connective AND. (B) - A possible modification to the Shin and Nourani [17] model of coherent simple regulations trying to solve their incompleteness problem. (C) - Our models of the incoherent simple regulation motifs s3 (left) and s4 (right).
