A constructive method for the architectural design and correctness verification of real-time programs
By: Samuli Saukkonen
Contributors: Oulun yliopisto
Series: Acta polytechnica Scandinavica -- no. 40
Publisher: Finnish Academy of Technical Sciences
Published: 1983
Place of publication: Helsinki
Language: eng
Number of pages: 122
Subjects: Real-time data processing; Online data processing; Computer programs; Verification
Other titles: Architectural design and correctness verification of real-time programs.
Notes: Thesis (doctoral)--University of Oulu, 1983.

Bibliography: p. 105-113.