1 June 2011 Type of static analysis based on the representation of sequences of events (paths) in the process of realization of the component or system. Related posts: Types of Applications
