Skip to main content
Formerly the Institute for Software Integrated Systems
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Summer Program Info
Sponsors
About
About Us
Team
Contact
Visitor Info
Opportunities
Login
Submit
Hamburger Menu
Home
Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Esteban Osses
First name
Esteban
Last name
Osses
Volgyesi, P., Maroti, M., Dora, S., Osses, E., & Ledeczi, A. (2005). Software Composition and Verification for Sensor Networks.
Science of Computer Programming (Elsevier)
,
56
, 191–210.
View
Volgyesi, P., Maroti, M., Dora, S., Osses, E., Ledeczi, A., & Paka, T. (2004).
Embedded Software Composition and Verification
. Institute for Software Integrated Systems.
View