Event

PhD Defense: Specification and model-driven trace checking of complex temporal properties

  • Conférencier  Chaima BOUFAIED

  • Lieu

    Kirchberg – JFK – Room E004/E005

    LU

PhD Supervisor: Domenico BIANCULLI

Partager ce contenu