Federacja Bibliotek Cyfrowych

Strona główna
Zielonogórska Biblioteka Cyfrowa
Towards automatic correctness verification of real-time programs

Szczegóły obiektu: Towards automatic correctness verification of real-time programs

tile.noImage

Instytucja dostarczająca:Zielonogórska Biblioteka Cyfrowa

Opis

Tytuł:
Towards automatic correctness verification of real-time programs
Twórca:
Szmuc, Tomasz Bartłomiej (1948- );
Szwed, Piotr
Współtwórca:
Korbicz, Józef (1951- ) (Red.);
Uciński, Dariusz (Red.)
Dostępność obiektu:
Dostęp otwarty
Prawa:
Biblioteka Uniwersytetu Zielonogórskiego
Data:
1994
Typ:
artykuł
Język:
angielski
Źródło:
AMCS, volume 4, number 4 (1994);
https://www.amcs.uz.zgora.pl/?action=paper&paper=1204
Wydawca:
Zielona Góra: Uniwersytet Zielonogórski
Temat i słowa kluczowe:
sterowanie;
sterowanie-teoria;
sztuczna inteligencja;
matematyka stosowana;
informatyka
Dostawca danych:
Zielonogórska Biblioteka Cyfrowa

Czy mogę z tego obiektu skorzystać?:
poproś o pozwolenie
Rodzaj zawartości:
obrazy

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności