Verification of concurrent safety-critical systems : the compliance-notation approach

Bibliographic Details
Main Author:	Atiya, Diyaa-Addein
Published:	University of York 2004
Subjects:	005.14
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428042

id	ndltd-bl.uk-oai-ethos.bl.uk-428042
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-4280422015-03-19T08:17:59ZVerification of concurrent safety-critical systems : the compliance-notation approachAtiya, Diyaa-Addein2004005.14University of Yorkhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428042Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005.14
spellingShingle	005.14 Atiya, Diyaa-Addein Verification of concurrent safety-critical systems : the compliance-notation approach
author	Atiya, Diyaa-Addein
author_facet	Atiya, Diyaa-Addein
author_sort	Atiya, Diyaa-Addein
title	Verification of concurrent safety-critical systems : the compliance-notation approach
title_short	Verification of concurrent safety-critical systems : the compliance-notation approach
title_full	Verification of concurrent safety-critical systems : the compliance-notation approach
title_fullStr	Verification of concurrent safety-critical systems : the compliance-notation approach
title_full_unstemmed	Verification of concurrent safety-critical systems : the compliance-notation approach
title_sort	verification of concurrent safety-critical systems : the compliance-notation approach
publisher	University of York
publishDate	2004
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428042
work_keys_str_mv	AT atiyadiyaaaddein verificationofconcurrentsafetycriticalsystemsthecompliancenotationapproach
_version_	1716762683524513792

Similar Items