Publikációk

Export 30 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
Szűrők: A Cím Első Betűje = F  [Minden szűrő visszaállítása]
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   [MINDENT mutat]
F
Graics, B., and Molnár, V., "Formal Compositional Semantics for Yakindu Statecharts", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
Kovács, Máté, Gönczy, L., and Varró, D., "Formal analysis of BPEL workflows with compensation by model checking", International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008. Abstract
Gusat, M., Minkenberg, C., and Paljak, G J., Flow and Congestion Control for Datacenter Networks, , no. RZ3742: IBM Zürich Research Laboratory, 2009.
Szatmári, Z., "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.