Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool.

Paul Pettersson

Browse the full COMPSAC paper archive.