A BLOCKCHAIN-BASED SYSTEM FOR TRACKING AND COLLISION AVOIDANCE OF RESIDENT SPACE OBJECTS

von Russo, Antonia
Veröffentlicht in IAA Symposium on Safety, Quality and Knowledge Management in Space Activities (53. : 2020 : Online) 53rd IAA Symposium on Safety, Quality and Knowledge Management in Space Activities 2020 (2021)

Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks

von Canonico, Roberto
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

MODEL-DRIVEN ENGINEERING FOR SWARM-BASED SPACE EXPLORATION MISSIONS

von Nardone, Roberto
Veröffentlicht in IAF Space Systems Symposium (2020 : Online) IAF Space Systems Symposium 2020 (2021)