SystemCFL: Formal specification and analysis of hardware /software co-designs

Ka L. Man*

*Corresponding author for this work

Research output: Contribution to journal › Review article › peer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'SystemCFL: Formal specification and analysis of hardware /software co-designs'. Together they form a unique fingerprint.