Sign in

Termination and Cost Analysis of Loops with Concurrent Interleavings.

Elvira AlbertAntonio Flores-MontoyaSamir GenaimEnrique Martin-Martin
Published in: ATVA (2013)
Keyphrases
  • image analysis
  • data sets
  • statistical analysis
  • machine learning
  • website
  • database systems
  • data analysis
  • expert systems
  • cost function
  • supply chain
  • petri net
  • quantitative analysis
  • high cost