@misc{Szmuc_Tomasz_Partial, author={Szmuc, Tomasz}, howpublished={online}, 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.}, type={artykuł}, title={Partial and total relative correctness for analysis of real-time systems}, keywords={sterowanie, sterowanie-teoria, sztuczna inteligencja, matematyka stosowana, informatyka}, }