{Generic software techniques for error detection or fault masking by means of middleware or OS functionality involving virtual machines}
{Generic software techniques for error detection or fault masking by means of middleware or OS functionality involving virtual machines}