A modular formal semantics for Ptolemy

Stavros Tripakis, Christos Stergiou, C. Shaver, Edward A. Lee

Research output: Contribution to journal › Article › Scientific › peer-review

Fingerprint

Dive into the research topics of 'A modular formal semantics for Ptolemy'. Together they form a unique fingerprint.

Computer Science