A Graphic Notation for Formal Specifications of Dynamic Systems

Description

Given an already fully developed formal specification method for reactive systems, we also develop an alternative graphic notation for its specifications to improve writing and understanding of such specifications and, hopefully, the acceptance of the method by industrial users.

Additional details