polski

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

tile.noImage

Access to this oject is restricted

Provider:Biblioteka Cyfrowa Politechniki Śląskiej

Description

Similar objects

tile.noImage
On the SAT-based verification of communicative commitments
Creator:Woźna-Szcześniak, Bożena
Date:2014
Type:other
tile.noImage
On the SMT-based Verification of Communicative Commitments
Creator:Szcześniak, Ireneusz | Woźna-Szcześniak, Bożena
Type:image
Can I use it?:check license
tile.noImage
SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties
Creator:Szczesniak, Ireneusz | Woźna-Szcześniak, Bożena
Type:image
Can I use it?:seek permission
tile.noImage
SAT-based searching for k-quasi-optimal runs in weighted timed automata
Creator:Woźna-Szcześniak, Bożena | Zbrzezny, Andrzej
Type:image
Can I use it?:seek permission
tile.noImage
Verifying RTECTL properties of a train controller system
Creator:Woźna-Szcześniak, Bożena | Zbrzezny, Agnieszka | Zbrzezny, Andrzej
Type:image
Can I use it?:seek permission
tile.noImage
A GPGPU–based Simulator for Prism: Statistical Verification of Results of PMC
Creator:Copik, Marcin | Rataj, Artur | Woźna-Szcześniak, Bożena
Type:image
Can I use it?:seek permission

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland
Republic of Poland
Digital Libraries Federation
European Union - European Regional Development Fund

Copyright 2022 - The FBC was created by PSNC

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy