Menu

Ilya Lopatkin

6 published titles

On fault tolerance reuse during refinement

1 edition

  • Newcastle University, Computing Science
  • 2010
  • Details

Patterns of representing FMEA in formal specification of control systems

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Rigorous development of dependable systems using fault tolerance views

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

A method for rigorous development of fault-tolerant systems

1 edition

  • Newcastle University, Computing Science
  • 2013
  • Details

Real-time ATO reconfiguration for operational stability

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2014
  • Details

Practical formal methods in railways : the SafeCap approach

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.