Bartha Tamás honlapja

Beosztás: egyetemi docens
Budapesti Mûszaki Egyetem, Méréstechnika és Információs Rendszerek Tanszék
Postacím: H-1521 Budapest, Pf. 91.
Cím: H-1117 Budapest, XI. Magyar tudósok körútja 2. Informatika ép. B szárny, IV. em. B417.
Telefon: (1) 463-3594, telefax: (1) 463-4112
Titkárság: Informatika ép. B szárny, IV. em. B416., telefon: (1) 463-3582
WWW: http://www.mit.bme.hu/~bartha/indexm.html English homepage
E-mail: bartha@mit.bme.hu

Szakmai területe

diszkrét állapotterû rendszerek modellbázisú diagnosztikája
diagnosztika és hibadetektálás elosztott rendszerekben
ipari folyamatirányító és -felügyelõ rendszerek tesztelése és megbízhatósági analízise
formális validáció és verifikáció, elsõsorban (színezett) Petri hálós modellekkel

Publikációs lista

Bartha Tamás, 1997.

Last modified: Fri Apr 2 21:07:56 MET DST 2004