Autorzy
Lista autorów
Zespoły / Grupy badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Formularze i instrukcje
pl
pl
Autorzy
Lista autorów
Zespoły / Grupy badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Formularze i instrukcje
Zaloguj się
Wyszukiwarka publikacji
Strona główna
/
Wyszukiwarka publikacji
Wyszukaj
Autor
Tytuł
Identyfikator DOI
Identyfikator BaDAP
Czasopismo
Rok publikacji
Typ publikacji
Nazwa dyscypliny
Skrót lub nazwa wydziału
Słowo kluczowe
Wyszukaj w opisie bibliograficznym
Szukaj
Filtry i wyszukiwanie
Zamknij
Wyniki wyszukiwania zapytania
Szukaj wśród wyników
Szukaj
Autor
Szwed Piotr
(3)
Biernacka Agnieszka
(2)
Biernacki Jerzy
(2)
Szpyrka Marcin
(2)
Jednostka
WEAIiIB
(5)
Rok publikacji
2015
(3)
2014
(1)
2016
(1)
Typ publikacji
fragmenty książek
(4)
artykuły
(1)
Czasopismo
AIP Conference Proceedings
(1)
CEUR Workshop Proceedings
(1)
Lecture Notes in Business I...
(1)
Lecture Notes in Computer S...
(1)
Konferencja
Federated Conference on Com...
(1)
International Conference on...
(1)
International Conference on...
(1)
Słowa kluczowe
NuSMV
(5)
model checking
(5)
ArchiMate
(3)
business process verification
(2)
translation
(2)
Więcej
11
Punktacja ministerialna
Tak
(4)
Nie
(1)
IF/LF
Nie
(4)
Bazy referencyjne
SCOPUS
(4)
Web of Science
(4)
DBLP Computer Science Bibliography
(1)
Recenzowane
Tak
(5)
Naukowe
Tak
(5)
Otwarty dostęp
Nie
(5)
Język publikacji
angielski
(5)
Nie znaleziono publikacji spełniających podane kryteria.