A formal specification method for building real-time distributed software.

Tae-Yeon Kim, Sung-Back Hong, Yong-Kyun Lee

Browse the full CATA paper archive.