Automatic coding from ZedCharts to SPARK Ada for safety-critical systems

Bibliographic Details
Main Author:	Shi, Feng Gang
Published:	University of York 1995
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.297155

id	ndltd-bl.uk-oai-ethos.bl.uk-297155
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2971552015-03-19T08:16:32ZAutomatic coding from ZedCharts to SPARK Ada for safety-critical systemsShi, Feng Gang1995005Computer software & programmingUniversity of Yorkhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.297155Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Shi, Feng Gang Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
author	Shi, Feng Gang
author_facet	Shi, Feng Gang
author_sort	Shi, Feng Gang
title	Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
title_short	Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
title_full	Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
title_fullStr	Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
title_full_unstemmed	Automatic coding from ZedCharts to SPARK Ada for safety-critical systems
title_sort	automatic coding from zedcharts to spark ada for safety-critical systems
publisher	University of York
publishDate	1995
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.297155
work_keys_str_mv	AT shifenggang automaticcodingfromzedchartstosparkadaforsafetycriticalsystems
_version_	1716762234818920448

Similar Items