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
(4)
Nalepa Grzegorz Jacek
(1)
Pascalau Emilian
(1)
Dyscyplina
informatyka techniczna i te...
(1)
Jednostka
WEAIiIB
(5)
Rok publikacji
2013
(2)
2014
(1)
2016
(1)
2025
(1)
Typ publikacji
fragmenty książek
(5)
Czasopismo
Advances in Intelligent Sys...
(2)
Communications in Computer...
(1)
Lecture Notes in Computer S...
(1)
Wydawca
Association for Computing M...
(1)
Konferencja
11th International Conferen...
(1)
3rd International Conferenc...
(1)
7th International conferenc...
(1)
8th international conferenc...
(1)
European Software Engineeri...
(1)
Słowa kluczowe
requirements engineering
(5)
temporal logic
(4)
deductive reasoning
(3)
formal verification
(2)
semantic tableaux method
(2)
Więcej
23
Punktacja ministerialna
Tak
(5)
IF/LF
Nie
(4)
Bazy referencyjne
SCOPUS
(5)
Web of Science
(5)
DBLP Computer Science Bibliography
(1)
INSPEC
(1)
Recenzowane
Tak
(5)
Naukowe
Tak
(5)
Otwarty dostęp
Nie
(4)
Tak
(1)
Język publikacji
angielski
(5)
Nie znaleziono publikacji spełniających podane kryteria.