Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

Wyszukujesz frazę "translation semantics" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    SAT-Based Bounded Model Checking for the Universal Fragment of TCTL
    Autorzy:
    Penczek, W.
    Woźna, B.
    Zbrzezny, A.
    Data publikacji:
    2002
    Słowa kluczowe:
    ograniczona weryfikacja modelowa
    logika TACTL (TECTL)
    ograniczona semantyka
    translacja do SAT
    automat czasowy
    graf regionów
    dyskretyzacja
    system weryfikacyjny
    bounded model checking
    logic TACTL (TECTL)
    bounded semantics
    translation to SAT
    Timed Automata
    Region Graphs
    discretization
    system verification
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    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ł
    Szczegóły
      Wyświetlanie 1-4 z 4

      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