Formal methods in systems engineering

Descrição: As computer technology is used to control critical systems to an increasing degree, it is vital that the methods fo... Veja mais