1329759

biblio

Visible to the public Bridging the semantic gap between heterogeneous modeling formalisms and {FMI}

Submitted by el_wehby on Mon, 05/14/2018 - 11:08am
biblio

Visible to the public Feedback in Synchronous Relational Interfaces

Submitted by el_wehby on Mon, 05/14/2018 - 11:07am
biblio

Visible to the public Refinement calculus of reactive systems

Submitted by el_wehby on Mon, 05/14/2018 - 11:07am
biblio

Visible to the public Synthesizing Finite-State Protocols from Scenarios and Requirements

Submitted by el_wehby on Mon, 05/14/2018 - 11:07am
biblio

Visible to the public Are interface theories equivalent to contract theories?

Submitted by el_wehby on Mon, 05/14/2018 - 11:07am