Creator:

Szmuc, Tomasz Bartłomiej (1948- )

Contributor:

Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.

Title:

Partial and total relative correctness for analysis of real-time systems

Group publication title:

AMCS, volume 1 (1991)

Subject and Keywords:

sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka

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.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Date:

1991

Resource Type:

artykuł

Pages:

31-42

Source:

AMCS, volume 1, number 1 (1991) ; click here to follow the link

Language:

eng

License CC BY 4.0:

click here to follow the link

Rights:

Biblioteka Uniwersytetu Zielonogórskiego