Automatic generation of provably correct embedded systems

10.1007/978-3-642-34281-3_17

Saved in:
Bibliographic Details
Main Authors: Lin, S.-W., Liu, Y., Hsiung, P.-A., Sun, J., Dong, J.S.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Online Access:http://scholarbank.nus.edu.sg/handle/10635/43180
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-43180
record_format dspace
spelling sg-nus-scholar.10635-431802015-01-27T07:12:15Z Automatic generation of provably correct embedded systems Lin, S.-W. Liu, Y. Hsiung, P.-A. Sun, J. Dong, J.S. COMPUTER SCIENCE TEMASEK LABORATORIES 10.1007/978-3-642-34281-3_17 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7635 LNCS 214-229 2013-07-23T09:27:11Z 2013-07-23T09:27:11Z 2012 Conference Paper Lin, S.-W.,Liu, Y.,Hsiung, P.-A.,Sun, J.,Dong, J.S. (2012). Automatic generation of provably correct embedded systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7635 LNCS : 214-229. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-34281-3_17" target="_blank">https://doi.org/10.1007/978-3-642-34281-3_17</a> 9783642342806 03029743 http://scholarbank.nus.edu.sg/handle/10635/43180 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description 10.1007/978-3-642-34281-3_17
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Lin, S.-W.
Liu, Y.
Hsiung, P.-A.
Sun, J.
Dong, J.S.
format Conference or Workshop Item
author Lin, S.-W.
Liu, Y.
Hsiung, P.-A.
Sun, J.
Dong, J.S.
spellingShingle Lin, S.-W.
Liu, Y.
Hsiung, P.-A.
Sun, J.
Dong, J.S.
Automatic generation of provably correct embedded systems
author_sort Lin, S.-W.
title Automatic generation of provably correct embedded systems
title_short Automatic generation of provably correct embedded systems
title_full Automatic generation of provably correct embedded systems
title_fullStr Automatic generation of provably correct embedded systems
title_full_unstemmed Automatic generation of provably correct embedded systems
title_sort automatic generation of provably correct embedded systems
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/43180
_version_ 1681082736768450560