Trust and Security Analyzer for Collaborative Digital Manufacturing Ecosystems

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice
1. Verfasser: Kuruppuarachchi, Pasindu (VerfasserIn)
Weitere Verfasser: Rea, Susan (VerfasserIn), McGibney, Alan (VerfasserIn)
Pages:4
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Digital Twin Reconfiguration Using Asset Models 2022 Kamburjan, Eduard
Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges 2022 Chaudhary, Hafız Ahmad Awais
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era 2022 Boldo, Michele
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 2022 Canonico, Roberto
Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference Implementation 2022 Pampus, Julia
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems 2022 Yue, Tao
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems 2022 Zhao, Xiaotian Dai. Shuai
Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins 2022 Liu, Le
Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying Ocean Environments 2022 Wang, Tongtong
Data-Driven Reachability Analysis of Digital Twin FMI Models 2022 Bogomolov, Sergiy
Stream Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart Factories 2022 Soderi, Mirco
Future Train Control Systems: Challenges for Dependability Assessment 2022 Fantechi, Alessandro
Safe and Secure Architecture Using Diverse Formal Methods 2022 Lecomte, Thierry
Digital Twins for Organ Preservation Devices 2022 Buhagiar, Aaron John
Engineering of Digital Twins for Cyber-Physical Systems 2022 Fitzgerald, John
Formally Verified Self-adaptation of an Incubator Digital Twin 2022 Wright, Thomas
Towards Secure Digital Twins 2022 Kulik, Tomas
Digital Thread in Smart Manufacturing 2022 Margaria, Tiziana
DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design Perspective 2022 McGibney, Alan
Formal Methods for Distributed Control Systems of Future Railways 2022 Fantechi, Alessandro
Alle Artikel auflisten