A pragmatic approach to the formal development of safety-critical systems

Bibliographic Details
Main Author:	Coombes, Andrew Charles
Published:	University of York 1994
Subjects:	005 Software engineering
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259882

id	ndltd-bl.uk-oai-ethos.bl.uk-259882
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2598822015-03-19T08:17:56ZA pragmatic approach to the formal development of safety-critical systemsCoombes, Andrew Charles1994005Software engineeringUniversity of Yorkhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259882Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Software engineering
spellingShingle	005 Software engineering Coombes, Andrew Charles A pragmatic approach to the formal development of safety-critical systems
author	Coombes, Andrew Charles
author_facet	Coombes, Andrew Charles
author_sort	Coombes, Andrew Charles
title	A pragmatic approach to the formal development of safety-critical systems
title_short	A pragmatic approach to the formal development of safety-critical systems
title_full	A pragmatic approach to the formal development of safety-critical systems
title_fullStr	A pragmatic approach to the formal development of safety-critical systems
title_full_unstemmed	A pragmatic approach to the formal development of safety-critical systems
title_sort	pragmatic approach to the formal development of safety-critical systems
publisher	University of York
publishDate	1994
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259882
work_keys_str_mv	AT coombesandrewcharles apragmaticapproachtotheformaldevelopmentofsafetycriticalsystems AT coombesandrewcharles pragmaticapproachtotheformaldevelopmentofsafetycriticalsystems
_version_	1716762087291617280

Similar Items