Debugging with Timed Automata Mutations

Suchergebnisse

• Abgeschlossen

  CRYSTAL - Critical Systems Engineering Factories

  Lorber, F. L. & Aichernig, B.

  1/05/13 → 30/04/16

  Projekt: Forschungsprojekt

  • Embedded Systems 100%
  • Interface Requirement 100%
  • Critical System 100%
  • Speed-up 33%
  • Specification Language 14%

• EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

  Lorber, F. L., Tiran, S. & Aichernig, B.

  1/11/11 → 31/10/14

  Projekt: Forschungsprojekt

  • Interface Requirement 100%
  • Effective Mean 100%
  • Transportation Domain 16%
  • Specification Language 14%
  • State Space 14%