Statisk program analyse af VHDL

  • Tolstrup, Terkel Kristian (PhD Student)
  • Nielson, Flemming (Supervisor)
  • Madsen, Jan (Examiner)
  • Banerjee, Anindya (Examiner)
  • Sabelfeld, Andrei (Examiner)
  • Nielson, Hanne Riis (Main Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/04/200318/04/2007
    • Language-based Security for VHDL

      Tolstrup, T. K., Apr 2007, (IMM-PHD; No. 174).

      Research output: Book/ReportPh.D. thesis

      Open Access
      File
      1051 Downloads (Pure)