Sign in

A temporal configuration logic for dynamic reconfigurable systems.

Antoine El-HokayemMarius BozgaJoseph Sifakis
Published in: SAC (2021)
Keyphrases
  • distributed systems
  • low cost
  • intelligent systems
  • dynamic environments
  • temporal behavior
  • data sets
  • general purpose
  • artificial intelligence
  • expert systems
  • hardware implementation
  • formal methods
  • multi valued