Static verification of component composition in contextual composition frameworks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 3, p. 247, doi. 10.1007/s10009-007-0061-y
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2008 AND VI 10 AND IP 3
Results: 6
1
2
Introduction to the special section on self-optimizing mechatronic systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 3, p. 205, doi. 10.1007/s10009-008-0065-2
- By:
- Publication type:
- Article
3
Tool support for the design of self-optimizing mechatronic multi-agent systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 3, p. 207, doi. 10.1007/s10009-008-0067-0
- By:
- Publication type:
- Article
4
Coping with large design spaces: design problem solving in fluidic engineering.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 3, p. 233, doi. 10.1007/s10009-008-0068-z
- By:
- Publication type:
- Article
5
A new approach for online multiobjective optimization of mechatronic systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 3, p. 223, doi. 10.1007/s10009-008-0066-1
- By:
- Publication type:
- Article
6
PHAVer: algorithmic verification of hybrid systems past HyTech.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 3, p. 263, doi. 10.1007/s10009-007-0062-x
- By:
- Publication type:
- Article