PROODOS project investigates the foundations of the modelling, development and analysis of dynamic systems. A dynamic system is a system with a dynamically-evolving interconnection composed of a changing number of components which can be created and destroyed as computation proceeds. The dynamic behaviour of these systems makes their understanding and development a challenging task. Thus, despite their wide use the need to create scientific methodologies for these complicated and continuously-evolving environments is widely recognized.
© 2017-2019 Department of Computer Science - University of Cyprus
Created by ITS - Based on Minimal by W3layouts