Sign in

Dynamic Verification for Hybrid Concurrent Programming Models.

Erdal MutluVladimir GajinovAdrián CristalSerdar TasiranOsman S. Unsal
Published in: RV (2014)
Keyphrases
  • statistical models
  • concurrent programming
  • model selection
  • database
  • object oriented
  • general purpose
  • dynamic environments
  • complex systems
  • formal verification
  • hybrid models