1 results
TCAS software verification using constraint programming
-
- Journal:
- The Knowledge Engineering Review / Volume 27 / Issue 3 / 26 July 2012
- Published online by Cambridge University Press:
- 26 July 2012, pp. 343-360
-
- Article
- Export citation