Szpyrka Marcin, prof. dr hab.

WEAIiIB-kis Katedra Informatyki Stosowanej

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

informatyka techniczna i telekomunikacja

100

Habilitacja

Modelowanie i analiza systemów wbudowanych z zastosowaniem RTCP-sieci

Wersja tytułu:

Design and analysis of embedded systems with RTCP-nets

Sygn.:

II 237060; II 237061

Wydział:

AGH Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki

Data uchwały Rady Wydziału:

20.12.2007

Stopień naukowy:

dr hab. nauk technicznych

Dyscyplina:

informatyka

Publikacja:

Słowa kluczowe:

sieć Petriego; RTCP-sieci; metoda formalna; system wbudowany; modelowanie systemów