activity
20162024
most citedSoftware Model Checking: A Promising Approach to Verify Mobile App Security

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.CEShow all

1 paper · 1 filter

cs.CE2024

Cyber-physical and business perspectives using Federated Digital Twins in multinational and multimodal transportation systems

Ricardo M. Czekster, Alexeis Garcia Perez, Manolya Kavakli-Thorne +2

Digital Twin (DT) technologies promise to remove cyber-physical barriers in systems and services and provide seamless management of distributed resources effectively. Ideally, full…