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
  • Alvis approach to modeling and verification of real-time systems running on single-processor environment
2
  • Formal verification of real-time systems developed for single-processor platform with Alvis