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
Klimek Radosław
(5)
Szpyrka Marcin
(5)
Matyasik Piotr
(3)
Wypych Michał
(3)
Szmuc Tomasz Bartłomiej
(2)
Więcej
10
Dyscyplina
informatyka techniczna i te...
(4)
Jednostka
WEAIiIB
(14)
Rb
(1)
WI
(1)
Rok publikacji
2013
(4)
2015
(3)
2014
(2)
2018
(2)
2011
(1)
Więcej
2
Typ publikacji
fragmenty książek
(8)
artykuły
(6)
Czasopismo
AIP Conference Proceedings
(2)
Lecture Notes in Computer S...
(2)
Advances in Intelligent Sys...
(1)
Automatyka/Automatics
(1)
Communications in Computer...
(1)
Więcej
5
Wydawca
Politechnika Łódzka
(1)
Konferencja
International Conference on...
(2)
11th International Conferen...
(1)
22nd International Workshop...
(1)
3rd International Conferenc...
(1)
7th International conferenc...
(1)
Więcej
2
Słowa kluczowe
formal verification
(14)
temporal logic
(5)
deductive reasoning
(4)
embedded systems
(4)
Alvis modelling language
(2)
Więcej
51
Punktacja ministerialna
Tak
(13)
Nie
(1)
IF/LF
Nie
(10)
Tak
(2)
Bazy referencyjne
Web of Science
(11)
SCOPUS
(9)
BazTech
(2)
INSPEC
(2)
DBLP Computer Science Bibliography
(1)
Recenzowane
Tak
(13)
Nie
(1)
Naukowe
Tak
(14)
Otwarty dostęp
Nie
(11)
Tak
(3)
Język publikacji
angielski
(14)
Nie znaleziono publikacji spełniających podane kryteria.