I agree that this site is using cookies. You can find further informations here.
X
Miyazawa, Alvaro Heiji
3  results:
Search for persons X
?
1

SCJ-Circus: specification and refinement of Safety-Critical..:

Miyazawa, Alvaro Heiji ; Cavalcanti, Ana Lucia Caneca ; Wellings, Andrew John
https://eprints.whiterose.ac.uk/141023/1/SCJCircus.pdf.  , 2019
Link: https://eprints.whiteros..
 
?
2

RoboChart: modelling and verification of the functional beh..:

Miyazawa, Alvaro Heiji ; De Oliveira Salazar Ribeiro, Pedro Fernando ; Li, W...
https://eprints.whiterose.ac.uk/141624/1/Miyazawa2019_Article_RoboChartModellingAndVerificat.pdf.  , 2019
Link: https://eprints.whiteros..
 
?
3

Formal verification of implementations of Stateflow charts:

Miyazawa, Alvaro Heiji
https://etheses.whiterose.ac.uk/2353/1/thesis.pdf.  , 2012
Link: https://etheses.whiteros..
 
1-3