Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
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
Home
ISIS Publications
List
Filter
Export 1 results:
Tagged
XML
BibTex
Sort by:
Author
Title
[
Type
]
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)