How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Consi<strong>st</strong>ency Checking of <<strong>st</strong>rong>Graph</<strong>st</strong>rong>-<br />
<<strong>st</strong>rong>Based</<strong>st</strong>rong> <<strong>st</strong>rong>Mo<strong>de</strong>ls</<strong>st</strong>rong><br />
When a specification becomes big...<br />
Softwaretechnologie II, © Prof. Uwe Aßmann<br />
74