Realisability of Global Models of Interaction
Overview on Constrained Multiparty Synchronisation in Team Automata
Branching pomsets: design, expressiveness and applications to choreographies
Route 25 (2022-2025)
__Agenda for Autonomous, Intelligent, Interoperable and Inclusive Mobility__ - is portuguese funded project, by IAPMEI, to keep Portugal relevant in the mobility industry.
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Spreadsheet-based Configuration of Families of Real-Time Specifications