Situation awareness, mental models and understandingTeichmann, Mare; Mõtus, LeoProceedings - 2021 IEEE International Conference on Cognitive and Computational Aspects of Situation Management, CogSIMA 20212021 / p. 86-93 https://doi.org/10.1109/CogSIMA51574.2021.9475920 Article at Scopus

Type systems equivalent to dataflow analyses for imperative languagesLaud, Peeter; Uustalu, Tarmo; Vene, VarmoProceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 20052005 / [12] p https://www.sciencedirect.com/science/article/pii/S0304397506005524