Eintrag weiter verarbeiten
A formally verified transformation to unify multiple nested clocks for a Lustre-like language
Gespeichert in:
Zeitschriftentitel: | Science China Information Sciences |
---|---|
Personen und Körperschaften: | , , , , , |
In: | Science China Information Sciences, 62, 2019, 1 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Springer Science and Business Media LLC
|
Schlagwörter: |