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

Home

ISIS Publications

  • List
  • Filter
Export 1 results:
  • Tagged
  • XML
  • BibTex
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is Butts, Ken  [Clear All Filters]
Conference Paper
Neema, S., J. Sztipanovits, G. Karsai, and K. Butts, "Constraint-Based Design-Space Exploration and Model Synthesis", EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering