doktorant
* Faculty of Electrical Engineering, Automatics, Computer Science and Electronics WEAIiE-ka
ORCID: brak
ResearcherID: brak
Scopus: brak
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:
brak zdefiniowanych słów kluczowych