next up previous contents
Next: piperestrictor Up: Verification examples. Previous: pipempc2   Contents

pipempc3

   Structure: pipe splitting into three
   Test objective: inhomogeneous network multiple 
                   point constraint.


guido dhondt 2014-03-02