Back to results

Clemson University

A Verifying Compiler for Embedded Networked Systems

dc:creator Regula, Kalyan chakradhar

thesis:degree_name Master of Science (MS)

Degree

thesis:*

Name thesis:degree_name: Master of Science (MS)
Level thesis:degree_level: Thesis

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Regula, Kalyan chakradhar
Contributors dc:contributor: Hallstrom, Jason O
Sitaraman , Murali
Malloy , Brian

Subjects

dc:subject × 4

Identifiers

dc:identifier.*

Repository record dc:identifier: https://open.clemson.edu/all_theses/899
OAI identifier oai:identifier: oai:open.clemson.edu:all_theses-1899

Chain of custody

source

Harvested from: Clemson University
Base URL: open.clemson.edu/do/oai/
Last updated: 2026-07-27
Source record: OAI-PMH GetRecord

related terms

citation

Regula, Kalyan chakradhar. A Verifying Compiler for Embedded Networked Systems. Thesis thesis, https://open.clemson.edu/all_theses/899

More from Clemson University