1 documents found
Information × Registration Number 0211U005837, 0111U004836 , R & D reports Title Integration approach to analysis and verification of telecommunication applications for one- and multiprocessor systems popup.stage_title Head Letichevsky Aleksander Adol'fovich, Registration Date 23-12-2011 Organization V.M.Glushkov Institute of Cybernetics of NASU popup.description2 Deductive algorithms for the verification of requirement specifications of reactive system software based on insertion models of specifications for multilevel protocols and programs have been developed. Product Description popup.authors Годлевський Олександр Богуславович Довбиш Валентина Яківна Летичевський Олександр Олександрович Мороховець Марина Костянтинівна Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Щоголева Наталя Миколаївна popup.nrat_date 2020-04-02 Close
R & D report
Integration approach to analysis and verification of telecommunication applications for one- and multiprocessor systems
Head: Letichevsky Aleksander Adol'fovich. Integration approach to analysis and verification of telecommunication applications for one- and multiprocessor systems. (popup.stage: ). V.M.Glushkov Institute of Cybernetics of NASU. № 0211U005837
1 documents found

Updated: 2026-03-25


Роздрукувати цю сторінку