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.
, System and method for providing visualization aids for effective interval management procedure execution, no. 10037702, 31/7/2018.