Applying Formal Methods to a Telecommunications System in a Commercial Setting: Slide 29 of 34.
Click slide for next, or goto
previous,
first,
last slides or
back to thumbnail layout.
Click slide for next, or goto
previous, or
back to thumbnail layout.