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/2003 → 18/04/2007

    Funding

    • DTU stipendium
    • 1 Ph.D. thesis

    • Language-based Security for VHDL

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

      Research output: Book/Report › Ph.D. thesis

      Open Access
      File
      1709 Downloads (Pure)