English

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
Instytucja dostarczająca:Repozytorium Publikacji Naukowych Politechniki Śląskiej

Opis

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
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
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
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

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

Copyright 2022 - FBC zostało stworzone przez PCSS

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