Applying timed interval calculus to simulink diagrams

Applying timed interval calculus to simulink diagrams

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

Saved in:
Bibliographic Details
Main Authors: Chunqing, C., Jin, S.D.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Real-time specification
Simulink
Verification
Z
Online Access:http://scholarbank.nus.edu.sg/handle/10635/38955
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-38955
record_format dspace
spelling sg-nus-scholar.10635-389552015-01-20T01:16:23Z Applying timed interval calculus to simulink diagrams Chunqing, C. Jin, S.D. COMPUTER SCIENCE Real-time specification Simulink Verification Z Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS 74-93 2013-07-04T07:30:41Z 2013-07-04T07:30:41Z 2006 Article Chunqing, C.,Jin, S.D. (2006). Applying timed interval calculus to simulink diagrams. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS : 74-93. ScholarBank@NUS Repository. 3540474609 03029743 http://scholarbank.nus.edu.sg/handle/10635/38955 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Real-time specification
Simulink
Verification
Z
spellingShingle Real-time specification
Simulink
Verification
Z
Chunqing, C.
Jin, S.D.
Applying timed interval calculus to simulink diagrams
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
Chunqing, C.
Jin, S.D.
format Article
author Chunqing, C.
Jin, S.D.
author_sort Chunqing, C.
title Applying timed interval calculus to simulink diagrams
title_short Applying timed interval calculus to simulink diagrams
title_full Applying timed interval calculus to simulink diagrams
title_fullStr Applying timed interval calculus to simulink diagrams
title_full_unstemmed Applying timed interval calculus to simulink diagrams
title_sort applying timed interval calculus to simulink diagrams
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/38955
_version_ 1681082011227258880

Similar Items