Crossmark

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

Crossref DOI link: https://doi.org/10.1007/s11432-016-9270-0

Published Online: 2018-06-27

Published Print: 2019-01

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Shi, Gang

Zhang, Yucheng

Shang, Shu

Wang, Shengyuan

Dong, Yuan

Yew, Pen-Chung
License Information

Text and Data Mining valid from 2018-06-27
More Information

Article History

Received: 29 June 2017

Revised: 31 August 2017

Accepted: 6 September 2017

First Online: 27 June 2018