Formal designs for embedded and hybrid systems

10.1142/S0218194005002117

Saved in:

Bibliographic Details
Main Authors:	Dong, J.S., Hao, P., Mahony, B.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Formal methods TCOZ Timed hybrid systems
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38957
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38957
record_format	dspace
spelling	sg-nus-scholar.10635-389572023-10-29T20:01:02Z Formal designs for embedded and hybrid systems Dong, J.S. Hao, P. Mahony, B. COMPUTER SCIENCE Formal methods TCOZ Timed hybrid systems 10.1142/S0218194005002117 International Journal of Software Engineering and Knowledge Engineering 15 2 373-378 ISEKE 2013-07-04T07:30:43Z 2013-07-04T07:30:43Z 2005 Article Dong, J.S., Hao, P., Mahony, B. (2005). Formal designs for embedded and hybrid systems. International Journal of Software Engineering and Knowledge Engineering 15 (2) : 373-378. ScholarBank@NUS Repository. https://doi.org/10.1142/S0218194005002117 02181940 http://scholarbank.nus.edu.sg/handle/10635/38957 000229454100034 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Formal methods TCOZ Timed hybrid systems
spellingShingle	Formal methods TCOZ Timed hybrid systems Dong, J.S. Hao, P. Mahony, B. Formal designs for embedded and hybrid systems
description	10.1142/S0218194005002117
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Dong, J.S. Hao, P. Mahony, B.
format	Article
author	Dong, J.S. Hao, P. Mahony, B.
author_sort	Dong, J.S.
title	Formal designs for embedded and hybrid systems
title_short	Formal designs for embedded and hybrid systems
title_full	Formal designs for embedded and hybrid systems
title_fullStr	Formal designs for embedded and hybrid systems
title_full_unstemmed	Formal designs for embedded and hybrid systems
title_sort	formal designs for embedded and hybrid systems
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38957
_version_	1781410953584181248

Formal designs for embedded and hybrid systems

Similar Items