Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

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

Autor:

Szmuc, Tomasz Bartłomiej (1948- )

Data wydania:

1991

Typ zasobu:

artykuł

Współtwórca:

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

Tytuł publikacji grupowej:

AMCS, volume 1 (1991)

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.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Identyfikator zasobu:

oai:zbc.uz.zgora.pl:57235

Strony:

31-42

Źródło:

AMCS, volume 1, number 1 (1991) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego

Temat i słowa kluczowe:

sterowanie sterowanie-teoria sztuczna inteligencja matematyka stosowana informatyka

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

2024-12-03

Data dodania obiektu:

2020-07-03

Liczba wyświetleń treści obiektu:

89

Wszystkie dostępne wersje tego obiektu:

https://zbc.uz.zgora.pl/publication/63763

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Partial and total relative correctness for analysis of real-time systems 2024-12-03

Obiekty

Podobne
AMCS, volume 4 (1994)
AMCS, volume 4 (1994)

Towards automatic correctness verification of real-time programs

Szmuc, Tomasz Bartłomiej (1948- ) Szwed, Piotr Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

1994
artykuł
AMCS, Volume 15 (2005)
AMCS, Volume 15 (2005)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 15, number 4 (2005) - spis treści

Beliczyński, Bartłomiej - red.

2005
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

The diameter of the reachability set for a 2-D continuous-discrete linear system with disturbances

Krasoń, Ewa Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

On 2-D polynomials and discrete-continuous systems

Trzaska, Zdzisław W. Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

nD control systems in a practical sense

Xu, Li Saito, Osami Abe, Kenichi Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

A polar coordinate based sliding mode design for vibration control

Young, K. David Yu, Xinghuo - red.

1998
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

Sliding mode control with directly learned feedforward compensation

Xu, Jian-Xin Song, Yanbin Yu, Xinghuo - red.

1998
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

The use of sliding modes to simplify the backstepping control method

Stotsky, Alexander A. Hedrick, J. Karl Yip, P.P. Yu, Xinghuo - red.

1998
artykuł
Więcej

Dane kontaktowe

Adres

Biblioteka Uniwersytetu
Zielonogórskiego
al. Wojska Polskiego 71
65-762 Zielona Góra

Telefon

(+48) 68 328 21 55

E-Mail

kontakt@zbc.uz.zgora.pl

Wojewódzka i Miejska Biblioteka Publiczna
im. C. Norwida w Zielonej Górze
al. Wojska Polskiego 9
65-077 Zielona Góra

(+48) 68 453 26 06

p.karp@biblioteka.zgora.pl

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji