Formal verification of safety functions by reinterpretation of functional block based specifications

Authors
Publication date
1 January 2008
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      SZTAKI Publication Repository

      redirect
      oaioai:eprints.sztaki.hu:5543
      Last time updated on 09/11/2016

      University of Queensland eSpace

      redirect
      oaioai:espace.library.uq.edu.au:U...
      Last time updated on 30/08/2013