Wykaz publikacji wybranego autora

Jarosław Baniewicz, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-3340-0428 połącz konto z ORCID

ResearcherID: brak

Scopus: 51763297800

PBN: 5e7094e9878c28a0473c6bde

OPI Nauka Polska





Liczba pozycji spełniających powyższe kryteria selekcji: 2, z ogólnej liczby 7 publikacji Autora


1
2
  • [referat, 2019]
  • TytułFormal verification of real-time systems developed for single-processor platform with Alvis
    AutorzyJarosław BANIEWICZ, Marcin SZPYRKA
    ŹródłoMIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26textsuperscript{th} international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — S. 129
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: