Functional Diagnosis of a SOA's BPEL Processes

Suchergebnisse

• Abgeschlossen

  FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen

  Quaritsch, S. & Pill, I. H.

  1/11/10 → 30/06/15

  Projekt: Forschungsprojekt

  • Linear Temporal Logic 100%
  • Diagnostic Information 66%
  • Specification Language 66%
  • temporal property 66%
  • Formal Notation 33%