This Compendium is a compilation of knowledge output of DSU, like patents, books, book chapters, journal publications and publications in conference proceedings, which are indexed by Scopus and/or Web of Science, UGC CARE List Group I, and Others.
DSU Research Compendium
, "Avionics self-adaptive software: Towards formal verification and validation", 15th International Conference on Distributed Computing and Internet Technology, ICDCIT 2019, vol. 11319 LNCS: Springer Verlag, pp. 3 - 23, 2019.