A graphical paradigm facilitating correct programming of complex computer control systems.

Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric

Browse the full ICECCS paper archive.