Dynamic networks of heterogeneous timed machines

Search results

• Finished

  Semantic Completions: Unifying the wave and the Particle Views of Information

  Pavlovic, D. (PI), Fiadeiro, J. L. (CoI) & Vovk, V. (CoI)

  1/04/14 → 31/03/17

  Project: Research

• Modelling and Analysis of Dynamic Networks of Interaction

  Fiadeiro, J. L. (PI)

  Royal Society

  15/11/13 → 14/11/15

  Project: Research

• Verification and correctness of service-oriented systems

  Fiadeiro, J. L. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/10/12 → 31/12/12

  Project: Research