Publications

Export 54 results:
Sort by: Author [ Title  (Asc)] Type Year
Filters: First Letter Of Title is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
S
Molnár, V., and Vörös, A., "Synchronous product automaton generation for controller optimization", ASCONIKK 2014: Extended Abstracts. I. Information Technologies for Logistic Systems, Veszprém, Hungary, University of Pannonia, pp. 22-29, 12/2014.
Polgár, B., "System Level Diagnostics and Percolation Theory", Proceedings of the 7th PhD Mini-Symposium of the Department of Measurement and Information Systems, pp. 48 - 49, 2000.
Darvas, D., "Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére", XVII. Fiatal Műszakiak Tudományos Ülésszaka, Cluj Napoca, Romania, Erdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya, pp. 83-86, 2012.
Darvas, D., and Vörös, A., "Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal", Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 05/2013.