Browsing publications by Dr Jeremy Bryans

Newcastle AuthorsTitleYear
Dr Paolo Missier
Dr Jeremy Bryans
Preserving privacy in shared provenance data2013
Dr Richard Payne
Dr Jeremy Bryans
Semi-Formal and Formal Interface Specification for System of Systems Architecture2013
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems2012
Professor John Fitzgerald
Dr Jeremy Bryans
Dr Richard Payne
A Formal Model-based Approach to Engineering Systems-of-Systems2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures2012
Dr Richard Payne
Dr Jeremy Bryans
Professor John Fitzgerald
Dr Stephen Riddle
Interface Specification for System-of-Systems Architectures2012
Dr Richard Payne
Dr Jeremy Bryans
Modelling the Major Incident Procedure Manual: A System of Systems Case Study2012
Dr Jeremy Bryans
Developing a Consensus Algorithm Using Stepwise Refinement2011
Dr Jeremy Bryans
Developing a Consensus Algorithm using Stepwise Refinement2011
Dr Zoe Andrews
Dr Jeremy Bryans
Professor John Fitzgerald
John Hughes
Dr Richard Payne
et al.		Modelling and Refinement of the MONDEX Electronic Purse in VDM2011
12345678