Federacja Bibliotek Cyfrowych

Strona główna
Biblioteka Cyfrowa AJD
SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

Szczegóły obiektu: SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

tile.noImage

Instytucja dostarczająca:Biblioteka Cyfrowa AJD

Opis

Tytuł:
SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties
Twórca:
Szczesniak, Ireneusz;
Woźna-Szcześniak, Bożena
Opis:
Cz. 20;
Mathematics;
s. 69-81;
Scientific Issues Jan Długosz University in Częstochowa
Dostępność obiektu:
Dostęp otwarty
Typ:
artykuł
Język:
angielski
Format:
application/pdf
Wydawca:
Wydawnictwo im. Stanisława Podobińskiego Akademii im. Jana Długosza w Częstochowie
Identyfikator:
ISSN 1896–0286;
10.16926/m.2015.20.08;
http://dx.doi.org/10.16926/m.2015.20.08
Dostawca danych:
Biblioteka Cyfrowa AJD

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