Works matching DE "AIR traffic control software"
Results: 8
New Air Traffic Control Software Takes an Incremental Approach.
- Published in:
- IEEE Software, 2000, v. 17, n. 4, p. 108
- By:
- Publication type:
- Article
Redesigning Air Traffic Control: An Exercise in Software Design.
- Published in:
- IEEE Software, 2000, v. 17, n. 3, p. 63
- By:
- Publication type:
- Article
Parallel cuda implementation of conflict detection for application to airspace deconfliction.
- Published in:
- Journal of Supercomputing, 2015, v. 71, n. 10, p. 3787, doi. 10.1007/s11227-015-1467-z
- By:
- Publication type:
- Article
Engineering Air Traffic Control Systems with a Model-Driven Approach.
- Published in:
- IEEE Software, 2013, v. 30, n. 3, p. 42, doi. 10.1109/MS.2013.20
- By:
- Publication type:
- Article
Generating requirements from systems models using patterns: a case study.
- Published in:
- Requirements Engineering, 2005, v. 10, n. 4, p. 276, doi. 10.1007/s00766-005-0010-9
- By:
- Publication type:
- Article
Enhanced Modeling and Solution of Layered Queueing Networks.
- Published in:
- IEEE Transactions on Software Engineering, 2009, v. 35, n. 2, p. 148, doi. 10.1109/TSE.2008.74
- By:
- Publication type:
- Article
Test Synthesis from UML Models of Distributed Software.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 252, doi. 10.1109/TSE.2007.39
- By:
- Publication type:
- Article
From scenarios to code: An air traffic control case study.
- Published in:
- Software & Systems Modeling, 2005, v. 4, n. 1, p. 71, doi. 10.1007/s10270-004-0067-9
- By:
- Publication type:
- Article