Menu

Manuel Mazzara

9 published titles

On modelling and analysis of dynamic reconfiguration of dependable real-time systems

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Polidoxa : a sinergic approach of a social network and a search engine to offer trustworthy news

(Contributor)

1 edition

  • Newcastle University
  • 2011
  • Details

On methods for the formal specification of fault tolerant systems

1 edition

  • Computing Science, Newcastle University
  • 2011
  • Details

Dependable workflow reconfiguration in WS-BPEL

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

The Polidoxa shift : a new approach to social networks

(Contributor)

1 edition

  • Newcastle University,Computing Science
  • 2011
  • Details

Design, modelling and analysis of a workflow reconfiguration

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

Dynamic allocation and admission policies for QoS-aware provisioning systems

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Lessons from DEPLOYment

1 edition

  • Computing Science, Newcastle University
  • 2012
  • Details

Towards a formalism-based toolkit for automotive applications

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2012
  • Details

obnb.uk is a Good Stuff website.