doktorant
* Faculty of Electrical Engineering, Automatics, Computer Science and Electronics WEAIiE-ka
ORCID: brak
ResearcherID: brak
Scopus: brak
Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD — Use 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:
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