A visual framework for formal systems development using interval temporal logic

Bibliographic Details
Main Author:	Chakrapani Rao, Arun
Published:	De Montfort University 2002
Subjects:	004.33
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393497

id	ndltd-bl.uk-oai-ethos.bl.uk-393497
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3934972017-04-20T03:18:42ZA visual framework for formal systems development using interval temporal logicChakrapani Rao, Arun2002004.33De Montfort Universityhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393497http://hdl.handle.net/2086/13288Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	004.33
spellingShingle	004.33 Chakrapani Rao, Arun A visual framework for formal systems development using interval temporal logic
author	Chakrapani Rao, Arun
author_facet	Chakrapani Rao, Arun
author_sort	Chakrapani Rao, Arun
title	A visual framework for formal systems development using interval temporal logic
title_short	A visual framework for formal systems development using interval temporal logic
title_full	A visual framework for formal systems development using interval temporal logic
title_fullStr	A visual framework for formal systems development using interval temporal logic
title_full_unstemmed	A visual framework for formal systems development using interval temporal logic
title_sort	visual framework for formal systems development using interval temporal logic
publisher	De Montfort University
publishDate	2002
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393497
work_keys_str_mv	AT chakrapaniraoarun avisualframeworkforformalsystemsdevelopmentusingintervaltemporallogic AT chakrapaniraoarun visualframeworkforformalsystemsdevelopmentusingintervaltemporallogic
_version_	1718439502111834112

Similar Items