Login / Signup

ForDeen: Towards Formal Design for Ensuring Reliable UAV-Assisted Multi-Access Edge Computing: A Scenario-Based Approach.

Yuxuan WangCharlie WingateJingshu Chen
Published in: MOST (2023)
Keyphrases
  • formal methods
  • databases
  • neural network
  • edge detection
  • model checking
  • edge information
  • real world
  • data mining
  • artificial intelligence
  • knowledge management
  • computer aided
  • engineering design
  • optimal design