scientific article; zbMATH DE number 3639107

MaRDI QIDQ4198015zbMATH OpenFDO

Authors V. V. Lipaev

Publication date 1977

zbMATH Keywords

architectureslarge real-time control software systemsreliable softwaresupervisory systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of operating systems (68N25) Theory of software (68N99)

Cited in

(2)

• Methods and means of parallel processing of information
• Program testing: Specification languages and automatic test generation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4198015)