Items where Author is "Miyazawa, Alvaro Heiji"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
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.