Temat: temporal 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ę "temporal logic" wg kryterium: Temat

Wyświetlanie 1-10 z 28

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A Complete Axiomatization of Process Temporal Logic
Autorzy:: Kacprzak, M.
Data publikacji:: 2002
Słowa kluczowe:: temporal logic
complete axiomatizations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces
Autorzy:: Gastin, P.
Kuske, D.
Data publikacji:: 2007
Słowa kluczowe:: temporal logic
Mazurkiewicz traces; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Products of Tree Automata with an Application to Temporal Logic
Autorzy:: Ésik, Z.
Iván, S.
Data publikacji:: 2008
Słowa kluczowe:: tree automata
temporal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous
Autorzy:: Rybakov, V.V.
Data publikacji:: 2007
Słowa kluczowe:: decidability
algorithms
inference rule
temporal logic
linear temporal logic
admissible inference rules; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Improving partial order reductions for universal branching time properties
Autorzy:: Penczek, W.
Szreter, M.
Gerth, R.
Kuiper, R.
Data publikacji:: 2000
Słowa kluczowe:: model checking
algorithm
temporal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Integrating Distributed Algorithms into distributed systems
Autorzy:: Kindler, E.
Peuker, S.
Data publikacji:: 1999
Słowa kluczowe:: distributed algorithms
Petri net
compositionality
temporal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: On First-Order Fragments for Mazurkiewicz Traces
Autorzy:: Diekert, V.
Horsch, M.
Kufleitner, M.
Data publikacji:: 2007
Słowa kluczowe:: Mazurkiewicz traces
temporal logic
first-order logic
Ehrenfeucht-Fraissé games; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Logical Analysis of Biological Systems
Autorzy:: Mardare, R.
Priami, C.
Data publikacji:: 2005
Słowa kluczowe:: hypersets
process algebras
ambiet calculus
temporal logic
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Autorzy:: Bednarczyk, M.A.
Jamroga, W.
Pawłowski, W.
Data publikacji:: 2006
Słowa kluczowe:: dynamic mobile agents
Petri hypernets
temporal logic
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Formalna analiza interpretowanych algorytmicznych maszyn stanów ASM z wykorzystaniem narzędzia model checker
Autorzy:: Grobelna, I.
Data publikacji:: 2008
Słowa kluczowe:: algorithmic state machines
temporal logic
formal verification
Model Checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 28

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

Informacja

Wyszukujesz frazę "temporal logic" wg kryterium: Temat