Wszystkie pola: Discrete Timed Automata

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ę "Discrete Timed Automata" wg kryterium: Wszystkie pola

Wyświetlanie 1-12 z 12

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Autorzy:: Woźna-Szcześniak, B.
Zbrzezny, A.
Data publikacji:: 2014
Słowa kluczowe:: discrete-time systems
machine theory
infinity
analysis of variance
bounds; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Runtime Monitoring of Contract Regulated Web Services
Autorzy:: Lomuscio, A.
Penczek, W.
Solanki, M.
Szreter, M.
Data publikacji:: 2011
Słowa kluczowe:: Timed Automata
timed automata with discrete data; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Reaching the limits for Bounded Model Checking
Autorzy:: Woźna, B.
Data publikacji:: 2003
Słowa kluczowe:: ograniczona weryfikacja modelowa
logika TACTL (TECTL)
ograniczona semantyka
translacja do SAT
dyskretny automat czasowy
model konkretny
model abstrakcyjny
model zdyskretyzowany
system weryfikacyjny
bounded model checking
logic TACTL (TECTL)
bounded semantics
translation to SAT
Discrete Timed Automata
concrete model
discretize model
abstract model
system verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Slicing of Timed Automata with Discrete Data
Autorzy:: Janowska, A.
Janowski, P.
Data publikacji:: 2006
Słowa kluczowe:: timed systems
Timed Automata
static analysis
program slicing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: SAT-Based Reachability Checking for Timed Automata with Discrete Data
Autorzy:: Zbrzezny, A.
Półrola, A.
Data publikacji:: 2007
Słowa kluczowe:: Timed Automata
reachability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Translation of Timed Promela to Timed Automata with Discrete Data
Autorzy:: Nabiałek, W.
Janowska, A.
Janowski, P.
Data publikacji:: 2008
Słowa kluczowe:: promela
spin
Timed Automata
timed systems
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Translation of Intermediate Language to Timed Automata with Discrete Data
Autorzy:: Janowska, A.
Janowski, P.
Wróblewski, D.
Data publikacji:: 2008
Słowa kluczowe:: translation
Intermediate Language
Timed Automata; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Towards Automatic Composition of Web Services : SAT-Based Concretisation of Abstract Scenarios
Autorzy:: Niewiadomski, A.
Penczek, W.
Półrola, A.
Szreter, M.
Zbrzezny, A.
Data publikacji:: 2012
Słowa kluczowe:: worlds and services
abstract planning
timed automata with discrete data; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Towards verification of Java programs in VerICS
Autorzy:: Orzechowski, M.
Woźna, B.
Siwiak, T.
Data publikacji:: 2006
Słowa kluczowe:: VerICS
Java
Intermediate Language
timed automata with discrete data
automated verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Slicing of Timed Automata with Discrete Data
Autorzy:: Janowska, A.
Janowski, P.
Data publikacji:: 2006
Słowa kluczowe:: systemy czasowe
automat czasowy
analiza statyczna
plastrowanie programów
timed systems
Timed Automata
static analysis
program slicing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

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: 12.

Tytuł:: Towards Verification of Java Programs in VerICS
Autorzy:: Zbrzezny, A.
Woźna, B.
Data publikacji:: 2008
Słowa kluczowe:: Timed Automata
discrete data model
Java programs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-12 z 12

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ę "Discrete Timed Automata" wg kryterium: Wszystkie pola