« October 2017 »
October
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Uni-Logo
You are here: Home Team Sergio Feo-Arenis
Document Actions

Sergio Feo-Arenis

 

Research Interests

Embedded Systems Verification, Verification of Time-Triggered Protocols, Real-Time Systems, Program Verification, Program Static Analysis.

 

Projects

 

Publications

Consultation Hours

    Please contact me to make an appointment.

    Student Projects and Theses

    If you have an interesting topic and search for an advisor, feel free to ask me.

     

     

    Personal tools