ΠΡΟΟΔΟΣ


Name: Formal Methods for Specification and Verification of Ad hoc Network Protocols
Link: http://www.cs.ucy.ac.cy/proodos/indexGB.htm
Funding_Authority: ΙΠΕ-ΔΕΣΜΗ 2003-2005
Coordinator: Ίδρυμα Προώθησης Έρευνας (ΙΠΕ)
Start_Date: 01/02/2006
End_Date: 31/08/2007
Duration(months): 19
UCY_Budget: 63,714
Principal_Investigator: Philippou Anna


Abstract:

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