Bartha Tamás Dr.
egyetemi docensKözlekedésmérnöki és Járműmérnöki Kar
Közlekedés- és Járműirányítási Tanszék
konferenciák
témák
kulcsszavak
algoritmus (1) · lináris (1) · logika (1) · ltl (1) · modellellenőrzés (1) · pltl (1) · szaturáció (1) · temporális (1) · verifikáció (1)Több kulcsszó »
Betöltés folyamatban, kis türelmet...
dolgozatok
Összesen 1 dolgozat. Összes dolgozat »