Login / Signup

The Measurement Library: Representing Physical Types in PVS.

Ashlie B. HockingM. Anthony Aiello
Published in: AFM@NFM (2017)
Keyphrases
  • decision making
  • learning algorithm
  • learning environment
  • expert systems
  • formal verification
  • physical objects