Essays about: "Karin Ahlman"

Found 1 essay containing the words Karin Ahlman.

  1. 1. Improving formal analysis of computerised rail traffic control systems using domain models

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Karin Ahlman; [2016]
    Keywords : ;

    Abstract : During the formal analysis of a computerized railway control system, it may be difficult to understand if a found counterexample to a requirement is a scenario which can happen in the real world or not. By putting sensible constraints on the inputs to the system, i.e. READ MORE