Frank Zeyda und Simon Foster - Info zur Person

(1 - 6 von 18

)

Optics in Isabelle/HOLCORE

core.ac.uk

von S Foster · · Zitiert von: 4 — Simon Foster and Frank Zeyda. University of York, UK. &#.uk. June 1, Abstract. Lenses provide an abstract interface ...

Optics - Archive of Formal Proofs

www.isa-afp.org

Title: Optics: Authors: Simon Foster (simon /dot/ foster /at/ york /dot/ ac /dot/ uk) and Frank Zeyda (frank /dot/ zeyda /at/ york /dot/ ac /dot/ uk)

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of...

www.isa-afp.org

Title: Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Authors: Simon Foster, Frank Zeyda, Yakoub ...

Formalising Cosimulation Models — Aarhus UniversityAarhus Universitet

pure.au.dk

AP — Formalising Cosimulation Models. Frank Zeyda, Julien Ouy, Simon Foster, Ana Lucia Caneca Cavalcanti. Research output: Contribution to book ...

Formalising Cosimulation ModelsOUCI

ouci.dntb.gov.ua

Authors: Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti. List of references. Modelica Association: Functional Mock-up Interface for Model Exchange and ...