Software Engineering and Dependable Computing Laboratory (SEDC)

home | people | topics | projects | publications | software | news


Topics  

Analysis of Interdependencies in Critical Infrastructures

Analysis, Testing and Monitoring of Dynamic Systems

Dependability Assessment and Fault-tolerant Solutions

Model-based E-learnings Sytems

Testing for Software Quality and Security