Diana Carolina Benjumea Hernandez

Registered user since Tue 14 May 2024

Name:Diana Carolina Benjumea Hernandez
Country:United Kingdom
Affiliation:The University of Manchester, UK
Research interests:Autonomous Systems, Robotics, Formal Verification, Artificial Intelligence, System Safety, Safety-Critical Systems, Software Architectures

Contributions

Show activities from other conferences

Requirements Engineering 2024-profile
View general profile