1329759

biblio

Visible to the public Transactions on Foundations for Mastering Change {I}

biblio

Visible to the public Compositional Model-Based System Design and Other Foundations for Mastering Change

biblio

Visible to the public Compositionality in the Science of System Design

biblio

Visible to the public Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware

biblio

Visible to the public Constrained Synthesis from Component Libraries

biblio

Visible to the public Learning Moore Machines from Input-Output Traces