A formally verified transformation to unify multiple nested clocks for a Lustre-like language

Gang Shi, Yucheng Zhang, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew

Research output: Contribution to journalArticle

LanguageEnglish (US)
Article number12801
JournalScience China Information Sciences
Volume62
Issue number1
DOIs
StatePublished - Jan 1 2019

Fingerprint

Clocks

Cite this

A formally verified transformation to unify multiple nested clocks for a Lustre-like language. / Shi, Gang; Zhang, Yucheng; Shang, Shu; Wang, Shengyuan; Dong, Yuan; Yew, Pen-Chung.

In: Science China Information Sciences, Vol. 62, No. 1, 12801, 01.01.2019.

Research output: Contribution to journalArticle

Shi, Gang ; Zhang, Yucheng ; Shang, Shu ; Wang, Shengyuan ; Dong, Yuan ; Yew, Pen-Chung. / A formally verified transformation to unify multiple nested clocks for a Lustre-like language. In: Science China Information Sciences. 2019 ; Vol. 62, No. 1.
@article{f5a079a6335c4dbe9fc13a557b790bf5,
title = "A formally verified transformation to unify multiple nested clocks for a Lustre-like language",
author = "Gang Shi and Yucheng Zhang and Shu Shang and Shengyuan Wang and Yuan Dong and Pen-Chung Yew",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/s11432-016-9270-0",
language = "English (US)",
volume = "62",
journal = "Science in China, Series F: Information Sciences",
issn = "1009-2757",
publisher = "Science in China Press",
number = "1",

}

TY - JOUR

T1 - A formally verified transformation to unify multiple nested clocks for a Lustre-like language

AU - Shi, Gang

AU - Zhang, Yucheng

AU - Shang, Shu

AU - Wang, Shengyuan

AU - Dong, Yuan

AU - Yew, Pen-Chung

PY - 2019/1/1

Y1 - 2019/1/1

UR - http://www.scopus.com/inward/record.url?scp=85049310766&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85049310766&partnerID=8YFLogxK

U2 - 10.1007/s11432-016-9270-0

DO - 10.1007/s11432-016-9270-0

M3 - Article

VL - 62

JO - Science in China, Series F: Information Sciences

T2 - Science in China, Series F: Information Sciences

JF - Science in China, Series F: Information Sciences

SN - 1009-2757

IS - 1

M1 - 12801

ER -