Machine-assisted proof support for validation beyond Simulink

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

Bibliographic Details
Main Authors:	Chen, C., Dong, J.S., Sun, J.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Formal verification PVS Real-time specifications Simulink
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40075
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40075
record_format	dspace
spelling	sg-nus-scholar.10635-400752015-01-06T19:16:20Z Machine-assisted proof support for validation beyond Simulink Chen, C. Dong, J.S. Sun, J. COMPUTER SCIENCE Formal verification PVS Real-time specifications Simulink Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4789 LNCS 96-115 2013-07-04T07:56:06Z 2013-07-04T07:56:06Z 2007 Conference Paper Chen, C.,Dong, J.S.,Sun, J. (2007). Machine-assisted proof support for validation beyond Simulink. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4789 LNCS : 96-115. ScholarBank@NUS Repository. 9783540766483 03029743 http://scholarbank.nus.edu.sg/handle/10635/40075 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Formal verification PVS Real-time specifications Simulink
spellingShingle	Formal verification PVS Real-time specifications Simulink Chen, C. Dong, J.S. Sun, J. Machine-assisted proof support for validation beyond Simulink
description	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chen, C. Dong, J.S. Sun, J.
format	Conference or Workshop Item
author	Chen, C. Dong, J.S. Sun, J.
author_sort	Chen, C.
title	Machine-assisted proof support for validation beyond Simulink
title_short	Machine-assisted proof support for validation beyond Simulink
title_full	Machine-assisted proof support for validation beyond Simulink
title_fullStr	Machine-assisted proof support for validation beyond Simulink
title_full_unstemmed	Machine-assisted proof support for validation beyond Simulink
title_sort	machine-assisted proof support for validation beyond simulink
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40075
_version_	1681082205512663040

Machine-assisted proof support for validation beyond Simulink

Similar Items