A refinement calculus for real-time systems

Bibliographic Details
Main Author:	Scholefield, David Jason
Published:	University of York 1992
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316186

id	ndltd-bl.uk-oai-ethos.bl.uk-316186
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3161862015-03-19T08:19:16ZA refinement calculus for real-time systemsScholefield, David Jason1992005Computer software & programmingUniversity of Yorkhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316186Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005 Computer software & programming
spellingShingle	005 Computer software & programming Scholefield, David Jason A refinement calculus for real-time systems
author	Scholefield, David Jason
author_facet	Scholefield, David Jason
author_sort	Scholefield, David Jason
title	A refinement calculus for real-time systems
title_short	A refinement calculus for real-time systems
title_full	A refinement calculus for real-time systems
title_fullStr	A refinement calculus for real-time systems
title_full_unstemmed	A refinement calculus for real-time systems
title_sort	refinement calculus for real-time systems
publisher	University of York
publishDate	1992
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316186
work_keys_str_mv	AT scholefielddavidjason arefinementcalculusforrealtimesystems AT scholefielddavidjason refinementcalculusforrealtimesystems
_version_	1716762313400254464

Similar Items