This paper reviews studies of the performance of polymeric, metallic and ceramic including
diamond coatings on steel and ceramic substrates when subjected to water–sand jet …

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B
are the use of set theory as a modelling notation, the use of refinement to represent systems …

Instance‐based representations have been applied to numerous classification tasks with
some success. Most of these applications involved predicting a symbolic class based on …

A development of the Mondex system was undertaken using Event-B and its associated
proof tools. An incremental approach was used whereby the refinement between the …

Event-B is a formal method for modeling and verifying consistency of systems. In formal
methods such as Event-B, refinement is the process of enriching or modifying an abstract …

Event-B is a notation and method for discrete systems modelling by refinement. We
introduce a small but very useful construction: qualitative probabilistic choice. It extends the …

Recently a set of guidelines, or cookbook, has been developed for modelling and refinement
of control problems in Event-B. The Event-B formal method is used for system-level …

Atomicity Decomposition is a technique in the Event-B formal method, which augments
Event-B refinement with additional structuring in a diagrammatic notation to support complex …

To improve implant biocompatibility, we developed a simple cost-effective thermal surface
treatment allowing an increase in the oxide layer thickness of a titanium (Ti) alloy used in …

The aspect ratio and morphology of acicular ferrite formed in C–Mn–Ni weld metals and the
effect of nickel and oxygen contents have been investigated. The experimental results …