Items where Author is "Miyazawa, Alvaro Heiji"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Miyazawa, Alvaro Heiji (2012) Formal verification of implementations of Stateflow charts. PhD thesis, University of York.
Miyazawa, Alvaro Heiji (2012) Formal verification of implementations of Stateflow charts. PhD thesis, University of York.