Wszystkie pola: Computational Tree Logic - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Computational Tree Logic" wg kryterium: Wszystkie pola

Wyświetlanie 1-8 z 8

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Model Checking for Graded CTL
Autorzy:: Ferrante, A.
Napoli, M.
Parente, M.
Data publikacji:: 2009
Słowa kluczowe:: model checking
Computational Tree Logic
Graded Modalities; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Comparing SAT- and SMT- based bounded model checking for Ectl properties
Autorzy:: Zbrzezny, A. M.
Data publikacji:: 2017
Słowa kluczowe:: logika drzewa obliczeniowego
system sterowania
metoda ograniczonego modelowania
computational tree logic
control system
limited modelling method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Comparing SAT- and SMT- based bounded model checking for Ectl properties
Autorzy:: Zbrzezny, A. M.
Data publikacji:: 2017
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: logika drzewa obliczeniowego
system sterowania
metoda ograniczonego modelowania
computational tree logic
control system
limited modelling method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Modelowanie i weryfikacja protokołu SCTP z wykorzystaniem automatów czasowych ze zmiennymi
Autorzy:: Męski, A.
Półrola, A.
Data publikacji:: 2008
Słowa kluczowe:: model protokołu SCTP
weryfikacja protokołu
logika temporalna CTL
system tranzycyjny
automat czasowy ze zmiennymi całkowitymi
sieci ACZC
Computational Tree Logic
Stream Transmission Control Protocol; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automata-Theoretic Decision Procedures for Information Logics
Autorzy:: Demri, S.
Sattler, U.
Data publikacji:: 2002
Słowa kluczowe:: computational complexity
Büchi tree automaton
information logic
hybrid logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Relative Nondeterministic Information Logic is EXPTIME-complete
Autorzy:: Demri, S.
Orłowska, E.
Data publikacji:: 2007
Słowa kluczowe:: information logic
relative frame
computational complexity
Büchi tree automaton; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Computational Intelligence for Analysing the Mechanical Properties of AA 2219 - (B4C + h-BN) Hybrid Nano Composites Processed by Ultrasound Assisted Casting
Autorzy:: Radha, P.
Selvakumar, N.
Harichandran, R.
Data publikacji:: 2019
Słowa kluczowe:: powder metallurgy
soft computing
ANN
fuzzy logic
decision tree; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Computational Intelligence for Analysing the Mechanical Properties of AA 2219 - (B4C + h-BN) Hybrid Nano Composites Processed by Ultrasound Assisted Casting
Autorzy:: Radha, P.
Selvakumar, N.
Harichandran, R.
Data publikacji:: 2019
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: powder metallurgy
soft computing
ANN
fuzzy logic
decision tree; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-8 z 8

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies