Federacja Bibliotek Cyfrowych

Strona główna
Biblioteka Cyfrowa Politechniki Śląskiej
Recenzja rozprawy doktorskiej mgra inż. Michała Senika pt. Ontology adaptation for the distributed control systems management and integration purposes

Szczegóły obiektu: Recenzja rozprawy doktorskiej mgra inż. Michała Senika pt. Ontology adaptation for the distributed control systems management and integration purposes

tile.noImage

Dostęp do obiektu ograniczony

Instytucja dostarczająca:Biblioteka Cyfrowa Politechniki Śląskiej

Opis

Tytuł:
Recenzja rozprawy doktorskiej mgra inż. Michała Senika pt. Ontology adaptation for the distributed control systems management and integration purposes
Twórca:
Woźna-Szcześniak, Bożena
Dostępność obiektu:
Dostęp ograniczony
Prawa:
własność autora - umowa licencyjna PŚ;
brak możliwości drukowania i edycji dokumentu;
zasób dostępny wyłącznie z komputerów Biblioteki Politechniki Śląskiej
Data:
2018.12.31;
2018
Typ:
recenzja rozprawy doktorskiej
Język:
polski
Format:
application/pdf
Relacja:
Wydział Matematyczno-Przyrodniczy. Akademia im. Jana Długosza w Częstochowie
Identyfikator: Katalog Biblioteki ;Baza „Dorobek”
Dostawca danych:
Biblioteka Cyfrowa Politechniki Śląskiej

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

Podobne obiekty

tile.noImage

On the SAT-based verification of communicative commitments

Twórca:Woźna-Szcześniak, Bożena

Data:2014

Rodzaj zawartości:pozostałe

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Michała Senika pt. Ontology adaptation for the distributed control systems management and integration purposes

Twórca:Woźna-Szcześniak, Bożena

Data:2018.12.31 | 2018

Rodzaj zawartości:pozostałe

tile.noImage

On the SMT-based Verification of Communicative Commitments

Twórca:Szcześniak, Ireneusz | Woźna-Szcześniak, Bożena

Rodzaj zawartości:obrazy

Czy mogę z tego skorzystać?:sprawdź warunki licencji

tile.noImage

SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

Twórca:Szczesniak, Ireneusz | Woźna-Szcześniak, Bożena

Rodzaj zawartości:obrazy

Czy mogę z tego skorzystać?:poproś o pozwolenie

tile.noImage

SAT-based searching for k-quasi-optimal runs in weighted timed automata

Twórca:Woźna-Szcześniak, Bożena | Zbrzezny, Andrzej

Rodzaj zawartości:obrazy

Czy mogę z tego skorzystać?:poproś o pozwolenie

tile.noImage

Verifying RTECTL properties of a train controller system

Twórca:Woźna-Szcześniak, Bożena | Zbrzezny, Agnieszka | Zbrzezny, Andrzej

Rodzaj zawartości:obrazy

Czy mogę z tego skorzystać?:poproś o pozwolenie

tile.noImage

A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC

Twórca:Copik, Marcin | Rataj, Artur | Woźna-Szcześniak, Bożena

Rodzaj zawartości:obrazy

Czy mogę z tego skorzystać?:poproś o pozwolenie

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