Projectos 2023 Completed

UBI

• IoT Messaging for Tidal Gauge Data Vasco Senra (41716)
• A Rust Process Viewer for Linux Pedro Simões (45729)
• Messaging Platform Secured by NFC Rui Simões (46145)
• Modelling, Validation and Verification with Uppaal Eduardo Gonçalves (41714)