Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 6 projektów spełniających kryteria wyszukiwania:

  1. Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

    Konkurs: PRELUDIUM 8 , panel: ST6

    Kierownik: Agnieszka Zbrzezny

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  2. Automaty z wagami dla własności kwantytatywnych

    Konkurs: SONATA 8 , panel: ST6

    Kierownik: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  3. Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

    Konkurs: OPUS 1 , panel: ST6

    Kierownik: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  4. Nowe metody parametrycznej weryfikacji modelowej

    Konkurs: PRELUDIUM 4 , panel: ST6

    Kierownik: Michał Knapik

    Instytut Podstaw Informatyki PAN

  5. Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

    Konkurs: SONATA 18 , panel: ST6

    Kierownik: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy