![](/img/cover-not-exists.png)
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers
El-Fakih, Khaled, Bochmann, Gregor vonYear:
2018
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/TSE.2018.2878728
File:
PDF, 1.67 MB
english, 2018