9 research outputs found

    From text to Petri Nets: the difficulties of describing accident scenarios formally

    No full text

    Quantifying automatable checklist items on a commercial flightdeck

    No full text
    corecore