A Mathematical Framework for Safecharts.

Hamdan Dammag, Nimal Nissanke

Browse the full ICFEM paper archive.