Applying Formal Methods to a Telecommunications System in a Commercial Setting: Slide 9 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.