A formal specification method for building real-time distributed software.
Year: 1998
Type: article
Source: Computers and Their Applications
Authors: Tae‐Yeon Kim, Sung-Back Hong, Yong-Kyun Lee
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W68260282