[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - SCEst: Sequentially constructive esterel
Rathlev, Karsten, Smyth, Steven, Motika, Christian, von Hanxleden, Reinhard, Mendler, MichaelYear:
2015
Language:
english
DOI:
10.1109/memcod.2015.7340462
File:
PDF, 936 KB
english, 2015