共 50 条
[32]
A symbolic framework for model-based testing
[J].
FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION,
2006, 4262
:40-+
[34]
Selecting tools and techniques for model-based diagnosis
[J].
ARTIFICIAL INTELLIGENCE IN ENGINEERING,
1998, 12 (1-2)
:81-98
[35]
A model-based framework for robust design
[J].
RECENT ADVANCES IN INTEGRATED DESIGN AND MANUFACTURING IN MECHANICAL ENGINEERING,
2003,
:431-442
[38]
A methodology and a framework for model-based testing
[J].
RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES,
2005, 3475
:57-70
[39]
Model-Based Systems Engineering for Machine Tools and Production Systems (Model-Based Production Engineering)
[J].
4TH INTERNATIONAL CONFERENCE ON SYSTEM-INTEGRATED INTELLIGENCE: INTELLIGENT, FLEXIBLE AND CONNECTED SYSTEMS IN PRODUCTS AND PRODUCTION,
2018, 24
:216-221