Autor: Wozna A. - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Model checking of java programs using networks of fadds
Autorzy:: Woźna, B.
Zbrzezny, A.
Data publikacji:: 2009
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: SAT-based searching for k-quasi-optimal runs in weighted timed automata
Autorzy:: Woźna-Szcześniak, B.
Zbrzezny, A.
Data publikacji:: 2010
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: SAT
timed automata
air traffic control problem
reachability problem
automat czasowy
problem kontroli ruchu lotniczego
problem osiągalności; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Verifying RTECTL properties of a train controller systems
Autorzy:: Woźna-Szcześniak, B.
Zbrzezny, A.
Zbrzezny, Andrzej
Data publikacji:: 2011
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: RTECTL
train controller systems
BMC method
system kontrolera pociągu
metoda BMC; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: A GPGPU–based simulator for prism: statistical verification of results of PMC
Autorzy:: Copik, M.
Rataj, A.
Woźna-Szcześniak, B.
Data publikacji:: 2017
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: GPGPU
symulacja Monte Carlo
pryzmat
probabilistyczny model statystyczny
Monte Carlo simulation
prism
probabilistic model checking
statistical model checking
probabilistic logics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja