„Theory of computation→Program analysis“

Suchergebnisse

2 Treffer

• Off-the-shelf automated analysis of liveness properties for just paths
  Bouwman, Mark ; Luttik, Bas ; Willemse, Tim A. C.
• Coupling input–output analysis with multiobjective linear programming models for the study of economy–energy–environment–social (E3S) trade-offs: a review
  Oliveira, C. ; Coelho, D. ; Antunes, C. H.