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
  • Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOODUse of LOTOS language in modeling HOOD method structures / Rafał BRZUCHACZ // Elektrotechnika i Elektronika : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1640-7202. — Tytuł poprz.: Elektrotechnika. — 2006 t. 25 z. 1, s. 1–9. — Bibliogr. s. 9, Streszcz.. — 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
  • Zastosowanie platformy HP Open View Service Activator do budowy systemów klasy service provisioning[Application of the Service Activator platform for building systems of the Service Provisioning class] / Rafał BRZUCHACZ, Artur Basiura // W: Systemy informatyczne z ograniczeniami czasowymi : praca zbiorowa / pod red.: Andrzeja Kwietnia, Piotra Gaja. — Warszawa : WKŁ Wydawnictwa Komunikacji i Łączności, 2006. — ISBN: 978-83-206-1612-5 ; ISBN10: 83-206-1612-3. — S. 277–288. — Bibliogr. s. 288. — A. Basiura - afiliacja: DRQ, Kraków

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: