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

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

Published in: CATA (1998)

Keyphrases

real time
formal specification
distributed systems
source code
software development
software systems
key features
reverse engineering