Tertiary Links

  • Publications
  • Education
  • Resources
  • People
  • Sponsors
  • Careers
  • Contact
  • Alumni

Secondary links

  • Login


Institute for Software Integrated Systems

Primary links

  • Projects
    • Active Projects
    • Archived Projects
  • Tools
  • Research
    • Model Integrated Computing
    • Smart Cities
    • Distributed Object Computing
    • Network Embedded Systems
    • Cyber-Physical Systems
    • Education Technology
    • Smart Mobility
    • Modeling and Analysis of Complex Systems
  • Careers
  • Internships
  • Calendar
  • Proposal Questionnaire
  • ISIS VPN
  • Printers

Home

ISIS Publications

  • List
  • Filter
Export 2 results:
  • Tagged
  • XML
  • BibTex
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is Osses, Esteban  [Clear All Filters]
Report
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.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)
Journal Article
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.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering