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. Opracowanie i weryfikacja współbieżnego modelu RCAFE (losowych automatów komórkowych - elementów skończonych) uwzględnia...

    Konkurs: SONATA BIS 4 , panel: ST8

    Kierownik: dr hab. Łukasz Madej

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

  3. Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych

    Konkurs: SONATA 5 , panel: ST6

    Kierownik: dr Łukasz Mikulski

    Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

  4. Granice automatycznej analizy systemów współbieżnych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. Automatyczna analiza systemów współbieżnych

    Konkurs: OPUS 14 , panel: ST6

    Kierownik: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  6. Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

    Konkurs: SONATA 12 , panel: ST6

    Kierownik: dr Filip Sieczkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy