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 [ Year (Desc)]
Filters: Author is Paka, Tamas  [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)
2003
Magyari, E., A. Bakay, A. Lang, T. Paka, A. Vizhanyo, A. Agrawal, and G. Karsai, "UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages", The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October, 2003.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: Magyari_E_10_26_2003_UDM__An_In.pdf (285.3 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering