TCAS software verification using constraint programming.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. 343, doi. 10.1017/S0269888912000252
- By:
- Publication type:
- Article
Works matching IS 02698889 AND DT 2012 AND VI 27 AND IP 3
Results: 8
1
2
Constraint programming for air traffic management: a survey.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. 361, doi. 10.1017/S0269888912000215
- By:
- Publication type:
- Article
3
Air traffic flow management with heuristic repair.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. 333, doi. 10.1017/S0269888912000240
- By:
- Publication type:
- Article
4
Scheduling safe movement of air traffic in crowded air spaces.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. 309, doi. 10.1017/S0269888912000239
- By:
- Publication type:
- Article
5
Trajectory deconfliction with constraint programming.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. 291, doi. 10.1017/S0269888912000227
- By:
- Publication type:
- Article
6
Constraint programming for air traffic management: preface.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. 287, doi. 10.1017/S0269888912000203
- By:
- Publication type:
- Article
7
KER volume 27 issue 3 Cover and Back matter.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. b1, doi. 10.1017/S0269888912000197
- Publication type:
- Article
8
KER volume 27 issue 3 Cover and Front matter.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. f1, doi. 10.1017/S0269888912000185
- Publication type:
- Article