2011
DOI: 10.1007/978-3-642-24443-8_25
|View full text |Cite
|
Sign up to set email alerts
|

Supporting Model Based Design

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
7
0

Year Published

2013
2013
2021
2021

Publication Types

Select...
4
2
1

Relationship

2
5

Authors

Journals

citations
Cited by 8 publications
(7 citation statements)
references
References 13 publications
0
7
0
Order By: Relevance
“…Regarding automation, even if we do not address the problem in this article, some works have shown the possibility of using logic solvers to design assistance [17], [18]. This type of automatic analysis could be used to validate the integrity of our models and support design tasks.…”
Section: Discussionmentioning
confidence: 99%
“…Regarding automation, even if we do not address the problem in this article, some works have shown the possibility of using logic solvers to design assistance [17], [18]. This type of automatic analysis could be used to validate the integrity of our models and support design tasks.…”
Section: Discussionmentioning
confidence: 99%
“…Besides that, an industrial reimplementation based on the proposed approach has been presented and evaluated in [19].…”
Section: Discussionmentioning
confidence: 99%
“…In [11] Delmas, Doose and al. associate Model-Driven Engineering and constraints solver for automatic synthesis and quantitative design optimization.…”
Section: A Coupling Systems Engineering Modelsmentioning
confidence: 99%