Now showing items 1-1 of 1

    • Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX 

      Banach, R.; Razavi, J.; Lesecq, S.; Debicki, O.; Mareau, N.; Foucault, J.; et al. (2019)
      Inspired by the abilities of contemporary autonomous vehicles to navigate with a high degree of effectiveness, the INSPEX Project aims to create a minaturised smart obstacle detection system, which could find use in a wide ...