Login / Signup

A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systems-of-Systems.

Charaf Eddine DridiNabil HameurlainFaiza Belala
Published in: WETICE (2023)
Keyphrases
  • management system
  • computer systems
  • intelligent systems
  • information retrieval
  • distributed systems
  • neural network
  • real world
  • computer vision
  • multiscale
  • mobile devices
  • building blocks
  • control method
  • formal methods