Publications
Filters: First Letter Of Title is F [Clear All Filters]
Formal Methods in Computing,
: {Akadémiai Kiadó, pp. 357–425, 2005.
"Formal Compositional Semantics for Yakindu Statecharts",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
"Formal analysis of BPEL workflows with compensation by model checking",
International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008.
Abstract
Flow and Congestion Control for Datacenter Networks,
, no. RZ3742: IBM Zürich Research Laboratory, 2009.
"Fejlesztési folyamatok ontológia alapú ellenőrzése",
XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.