Skip to main content

1 Result(s)

within Barend van den Nieuwelaar Remove this filter

and

  1. No Access

    Article

    Model checker aided design of a controller for a wafer scanner

    For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite sche...

    Martijn Hendriks, Barend van den Nieuwelaar… in International Journal on Software Tools fo… (2006)