Publikacje

Found 2 results
Filters: Autor is Miltiadis Siavvas  [Clear All Filters]
2019
Siavvas M, Gelenbe E.  2019.  Optimum checkpoints for programs with loops. Simulation Modelling Practice and Theory. 97
2018
Siavvas M, Gelenbe E, Kehagias D, Tzovaras D.  2018.  Static Analysis-Based Approaches for Secure Software Development. 1st International Symposia on Computer and Information Sciences, ISCIS 2018.