Login / Signup

Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.

Rafael Garlet de OliveiraGabriel H. R. SantosJean-Marie FarinesLeandro Buss Becker
Published in: SBESC (2011)
Keyphrases
  • database
  • databases
  • neural network
  • information systems
  • case study
  • significant improvement
  • desirable properties
  • formal analysis