Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.

Harold W. Thimbleby

Browse the full EICS paper archive.