TY - GEN A1 - Szmuc, Tomasz A2 - Korbicz, Józef - red. A2 - Uciński, Dariusz - red. PB - Zielona Góra: Uniwersytet Zielonogórski N2 - This paper is a continuation of the former works dealing with the correctness verification of concurrent systems. The correctness in the sense of criterion (relative correctness) is a basic notion in these investigations. Two classes of the problem: partial and total relative correctness are considered. Formal tools and conception of computer support for the correctness verification are developed. L1 - http://www.zbc.uz.zgora.pl/Content/57235/AMCS_1991_1_1_3.pdf L2 - http://www.zbc.uz.zgora.pl/Content/57235 KW - sterowanie KW - sterowanie-teoria KW - sztuczna inteligencja KW - matematyka stosowana KW - informatyka T1 - Partial and total relative correctness for analysis of real-time systems UR - http://www.zbc.uz.zgora.pl/dlibra/docmetadata?id=57235 ER -