Publikációk

Export 31 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
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
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.
, Fifth International Workshop on Graph Transformation and Visual Modelling Techniques, : Elsevier, 2006.
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.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció