Sign in

Formally Verified Self-adaptation of an Incubator Digital Twin.

Thomas WrightCláudio GomesJim Woodcock
Published in: ISoLA (4) (2022)
Keyphrases
  • classifier systems
  • digital images
  • digital media
  • genetic algorithm
  • digital libraries
  • digital information
  • digital forensics
  • autonomic computing systems