Volgyesi, P., M. Maroti, S. Dora, E. Osses, and A. Ledeczi,
"Software Composition and Verification for Sensor Networks",
Science of Computer Programming (Elsevier), vol. 56, pp. 191--210, April, 2005.
Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)
Volgyesi, P., M. Maroti, S. Dora, E. Osses, A. Ledeczi, and T. Paka,
Embedded Software Composition and Verification,
: Institute for Software Integrated Systems, February, 2004.
Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)