Login / Signup

Deriving Specifications for Systems That Are Connected to the Physical World.

Cliff B. JonesIan J. HayesMichael A. Jackson
Published in: Formal Methods and Hybrid Real-Time Systems (2007)
Keyphrases
  • physical world
  • qualitative physics
  • computer systems
  • cyber physical systems
  • virtual world
  • high level
  • reinforcement learning
  • expert systems
  • management system
  • semi supervised
  • formal specification