A modelling language approach to defining mathematical structures via semantics

Strachey 100: an Oxford Computing Pioneer ›

33:10 | Jun 26th, 2017

In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach ...Show More