Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

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

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Science China Information Sciences
Personen und Körperschaften: Shi, Gang, Zhang, Yucheng, Shang, Shu, Wang, Shengyuan, Dong, Yuan, Yew, Pen-Chung
In: Science China Information Sciences, 62, 2019, 1
Format: E-Article
Sprache: Englisch
veröffentlicht:
Springer Science and Business Media LLC
Schlagwörter: