Sign in

Process-Local Static Analysis of Synchronous Processes.

Jan MidtgaardFlemming NielsonHanne Riis Nielson
Published in: SAS (2018)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • process model
  • databases
  • artificial intelligence
  • training data
  • object oriented
  • software development
  • symbolic execution