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
  • Printers
  • jhenry

Home

ISIS Publications

  • List
  • Filter
Export 2 results:
  • Tagged
  • XML
  • BibTex
Sort by: Author Title Type [ Year  (Asc)]
Filters: Author is Osses, Esteban  [Clear All Filters]
2004
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)
2005
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