![](/img/cover-not-exists.png)
[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Specification, verification, and synthesis using extended state machines with callbacks
Fowze, Farhaan, Yavuz, TubaYear:
2016
Language:
english
DOI:
10.1109/MEMCOD.2016.7797752
File:
PDF, 549 KB
english, 2016