![](/img/cover-not-exists.png)
[IEEE 2017 Forum on Specification and Design Languages (FDL) - Verona (2017.9.18-2017.9.20)] 2017 Forum on Specification and Design Languages (FDL) - Compositional timing-aware semantics for synchronous programming
Aguado, Joaquin, Mendler, Michael, Wang, Jia Jie, Bodin, Bruno, Roop, ParthaYear:
2017
Language:
english
DOI:
10.1109/fdl.2017.8303895
File:
PDF, 404 KB
english, 2017