Sign in

Cloud Certification Process Validation Using Formal Methods.

Maria KrotsianiChristos KloukinasGeorge Spanoudakis
Published in: ICSOC (2017)
Keyphrases
  • formal methods
  • artificial intelligence
  • formal specification
  • safety critical
  • information systems
  • databases
  • black box
  • formal analysis
  • development lifecycle