Autorzy
Lista autorów
Grupy / Zespoły badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Podręcznik użytkownika
Formularze
pl
pl
Autorzy
Lista autorów
Grupy / Zespoły badawcze
Publikacje
Raporty
Statystyki
Pomoc
Rozwiń menu pomocy
Podręcznik użytkownika
Formularze
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
Klimek Radosław
(3)
Lubaś Robert
(3)
Mycek Marcin
(3)
Porzycki Jakub
(3)
Szpyrka Marcin
(3)
Więcej
62
Dyscyplina
automatyka, elektronika, el...
(3)
inżynieria biomedyczna
(1)
Jednostka
WEAIiIB
(16)
WIEiT
(5)
WFiIS
(1)
WGGiOŚ
(1)
WI
(1)
Więcej
2
Rok publikacji
2014
(5)
2016
(4)
2013
(3)
2015
(3)
2006
(2)
Więcej
7
Typ publikacji
artykuły
(12)
fragmenty książek
(12)
książki
(2)
Czasopismo
AIP Conference Proceedings
(2)
Computer Science
(2)
Lecture Notes in Computer S...
(2)
Advances in Intelligent Sys...
(1)
Automatyka/Automatics
(1)
Więcej
11
Wydawca
Institute of Electrical and...
(1)
Springer
(1)
Konferencja
International Conference on...
(2)
13th IFIP TC8 International...
(1)
7th KES Conference on Agent...
(1)
Cellular automata : 11th in...
(1)
EEUG Meeting 2017
(1)
Więcej
2
Słowa kluczowe
verification
(26)
validation
(7)
weryfikacja
(4)
model checking
(3)
temporal logic
(3)
Więcej
152
Punktacja ministerialna
Tak
(18)
Nie
(8)
IF/LF
Nie
(11)
Tak
(3)
Bazy referencyjne
Web of Science
(12)
SCOPUS
(10)
BazTech
(6)
DBLP Computer Science Bibliography
(2)
INSPEC
(2)
Recenzowane
Tak
(22)
Nie
(4)
Naukowe
Tak
(26)
Otwarty dostęp
Nie
(20)
Tak
(6)
Język publikacji
angielski
(22)
polski
(4)
Nie znaleziono publikacji spełniających podane kryteria.