@misc{Szmuc_Tomasz_Partial, author={Szmuc, Tomasz}, publisher={Zielona Góra: Uniwersytet Zielonogórski}, language={eng}, abstract={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.}, title={Partial and total relative correctness for analysis of real-time systems}, type={artykuł}, keywords={sterowanie, sztuczna inteligencja, informatyka, sterowanie-teoria, matematyka stosowana}, }