Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design
Type
Publication
IEEE Access
Venkatesh Choppella
Associate Professor
My research interests include Programming languages, S/W architectures, Formal Methods, CS education