A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems.

Roozbeh Farahbod, Vladimir Avram, Uwe Glsser, Adel Guitouni

Browse the full ICFEM paper archive.