José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
Giann Spilere Nandi
,
David Pereira
,
José Proença
,
Eduardo Tovar
,
Antonio Rodriguez
,
Pablo Garrido
January 2023
PDF
Cite
Project
Project
DOI
Type
Journal article
Publication
Open Research Europe
VALU3S
Route25
Related
Spreadsheet-based Configuration of Families of Real-Time Specifications
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
Branching pomsets: design, expressiveness and applications to choreographies
Realisability of Global Models of Interaction
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems
Cite
×