GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

System-Level Design Languages and Semantics

System-Level Design Languages and Semantics

1 faculty research System-Level Design Languages and Semantics on GradNova.

P
Perry Alexander

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences

Computer Science

University of Kansas

Formal Methods, Verification, and Synthesis
Specification Languages
System-Level Design Languages and Semantics
Trusted Computing
+5