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ę "verification system" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    A Note on Analysis of BPMN Diagrams
    Autorzy:
    Ligęza, A.
    Data publikacji:
    2011
    Słowa kluczowe:
    notacja modelowania procesów biznesowych
    BPMN
    reguły biznesowe
    systemy regułowe
    analiza systemowa
    weryfikacja systemów
    bezpieczeństwo
    niezawodność
    efektywność
    poprawność
    Business Process Modeling Notation (BPMN)
    business rules
    rule-based systems
    system analysis
    system verification
    safety
    reliability
    efficiency
    correctness
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    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-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