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

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

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: