Wykaz publikacji wybranego autora

Rafał Brzuchacz, mgr inż.

doktorant

* Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
WEAIiE-ka, * Katedra Automatyki


Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: brak



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem211
2006211
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem22
200622
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem22
200622
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem22
200622
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem22
200622
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem211
2006211



1
  • [artykuł w czasopiśmie, 2006]
  • TytułZastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
    AutorzyRafał BRZUCHACZ
    ŹródłoElektrotechnika i Elektronika : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2006 t. 25 z. 1, s. 1–9. — tekst: https://journals.bg.agh.edu.pl/ELEKTROTECHNIKA/25-1/elektro01.pdf
  • słowa kluczowe: systemy czasu rzeczywistego, weryfikacja oprogramowania, algebry procesów, abstrakcyjne typy danych, LOTOS, HOOD

    keywords: real time systems, software verification, process algebras, abstract data types, LOTOS, HOOD

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 2006]
  • TytułZastosowanie platformy HP Open View Service Activator do budowy systemów klasy service provisioning
    AutorzyRafał BRZUCHACZ, Artur Basiura
    ŹródłoSystemy informatyczne z ograniczeniami czasowymi : praca zbiorowa / pod red.: Andrzeja Kwietnia, Piotra Gaja. — Warszawa : WKŁ Wydawnictwa Komunikacji i Łączności, 2006. — S. 277–288
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: