A novel architecture for situation awareness systems
Citation
Baader, F, Bauer, A, Baumgartner, P et al 2009, 'A novel architecture for situation awareness systems', in Martin Giese, Arild Waaler (ed.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), Springer, Germany, pp. 77-92.Year
2009ANU Authors
Fields of Research
- Computer System Security
- Computational Logic And Formal Languages
- Software Engineering