Browsing by Author "Kouvaros, Panagiotis"

Now showing items 1-2 of 2

    • Conference Object  

      Formal Verification of a Programmable Hypersurface 

      Kouvaros, Panagiotis; Kouzapas, Dimitrios; Philippou, Anna; Georgiou, Julius; Petrou, Loukas; Pitsillides, Andreas (Springer International Publishing, 2018)
      A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the design and formal verification of a programmable ...
    • Conference Object  

      Formal Verification of a Programmable Hypersurface 

      Kouvaros, Panagiotis; Kouzapas, Dimitrios; Philippou, Anna; Georgiou, Julius; Petrou, Loukas; Pitsillides, Andreas (Springer International Publishing, 2018)
      A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the design and formal verification of a programmable ...