Menu

Alexei Iliasov

9 published titles

Guided formal development : patterns for modelling and refinement

(Contributor)

1 edition

  • Univ. of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

On Event-B and control flow

1 edition

  • Computer Science, Newcastle University
  • 2009
  • Details

Developing mode-rich satellite software by refinement in event B

1 edition

  • Computing Science, Newcastle University
  • 2010
  • Details

Rigorous development of dependable systems using fault tolerance views

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Lessons from DEPLOYment

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • 2012
  • Details

Real-time ATO reconfiguration for operational stability

1 edition

  • Newcastle University, Computing Science
  • 2014
  • Details

Refinement-based approach to co-engineering requirements and formal models

1 edition

  • Newcastle University
  • 2015
  • Details

The SafeCap toolset for improving railway capacity while ensuring its safety

1 edition

  • Newcastle University, Computing Science
  • Details

Practical formal methods in railways : the SafeCap approach

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.