1. CLeVer: Verification of Hardware Concurrency via Model Learning

    Sammartino, M.

    Eng & Phys Sci Res Council EPSRC: £313,577

    6/01/2030/09/22

    Project: Research

  2. Visiting Proferssorship_Professor Fabio Fagnani

    Bernardini, S. & Fagnani, F.

    Leverhulme Trust: £27,600

    25/11/1926/07/20

    Project: Other

Previous 1...8 9 10 11 12 Next