Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Burns, Colin Paul"'
Autor:
Burns, Colin Paul
Formal methods are proposed as a means to improve accident reports, such as the report into the 1996 fire in the Channel Tunnel between the UK and France. The size and complexity of accident reports create difficulties for formal methods, which tradi
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.312700
