technische universität dortmund fakultät für informatik JJ Chen and P.Marwedel, Informatik 12, 2014 Other semantics Several other specification languages for hierarchical state machines (UML, dave, …) do not include the three simulation phases. These correspond more to a SW point of vie...
technische universität dortmund fakultät für informatik p. marwedel, informatik 12, 2009 Dependence graph Definition Def.: A dependence graph is a directed graph G=(V,E) in which E V V is a partial order. If (v1, v2) E, then v1 is called an immediate predecessor of v2 and v2...