Login / Signup

Using model checking to help discover mode confusions and other automation surprises.

John Rushby
Published in: Reliab. Eng. Syst. Saf. (2002)
Keyphrases