A verification system for interval-based specification languages

10.1145/1734229.1734232

Saved in:

Bibliographic Details
Main Authors:	Chen, C., Dong, J.S., Sun, J., Martin, A.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Formal specification languages Real-time systems Theorem proving
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/38948
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-38948
record_format	dspace
spelling	sg-nus-scholar.10635-389482024-11-09T18:17:48Z A verification system for interval-based specification languages Chen, C. Dong, J.S. Sun, J. Martin, A. COMPUTER SCIENCE Formal specification languages Real-time systems Theorem proving 10.1145/1734229.1734232 ACM Transactions on Software Engineering and Methodology 19 4 ATSME 2013-07-04T07:30:31Z 2013-07-04T07:30:31Z 2010 Article Chen, C., Dong, J.S., Sun, J., Martin, A. (2010). A verification system for interval-based specification languages. ACM Transactions on Software Engineering and Methodology 19 (4). ScholarBank@NUS Repository. https://doi.org/10.1145/1734229.1734232 1049331X http://scholarbank.nus.edu.sg/handle/10635/38948 000277058100003 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Formal specification languages Real-time systems Theorem proving
spellingShingle	Formal specification languages Real-time systems Theorem proving Chen, C. Dong, J.S. Sun, J. Martin, A. A verification system for interval-based specification languages
description	10.1145/1734229.1734232
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chen, C. Dong, J.S. Sun, J. Martin, A.
format	Article
author	Chen, C. Dong, J.S. Sun, J. Martin, A.
author_sort	Chen, C.
title	A verification system for interval-based specification languages
title_short	A verification system for interval-based specification languages
title_full	A verification system for interval-based specification languages
title_fullStr	A verification system for interval-based specification languages
title_full_unstemmed	A verification system for interval-based specification languages
title_sort	verification system for interval-based specification languages
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38948
_version_	1821189812123598848

A verification system for interval-based specification languages

Similar Items