Login / Signup

International System of Quantities library in VDM.

Leo Freitas
Published in: CoRR (2023)
Keyphrases
  • case study
  • international standard
  • artificial intelligence
  • web services
  • bayesian networks
  • multi agent
  • world wide