Monthly Archives: June 2011

Friday 3rd June 2011 – Prof David Pym

Prof David Pym – University of Aberdeen Systems and Security Modelling: From Theory to Practice I describe a mathematical systems modelling framework that is motivated by a desire to represent and reason about properties of (large-scale) systems situated in dynamic … Continue reading

Posted in Research Seminar | Leave a comment