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
  • [artykuł w czasopiśmie, 2022]
  • TytułAlvis approach to modeling and verification of real-time systems running on single-processor environment
    AutorzyMarcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH
    ŹródłoIEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2022 vol. 10, s. 104178–104189. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617
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