Statistics
Publications
9
Citations
397
H-Index
9
Active since
2011
Alvaro Miyazawa is an author at University of York specializing in computer science, engineering, and computing.
Publications per year
2011–2021
9
9
Features of CML: A formal modelling language for Systems of Systems
Jim Woodcock, Ana Cavalcanti, John Fitzgerald et al. · 2012 · 74 citations
Verified simulation for robotics
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa et al. · Science of Computer Programming · 2019 · 45 citations
Automatic property checking of robotic applications
Alvaro Miyazawa, Pedro Ribeiro, Wei Li et al. · 2017 · 35 citations
1–5 of 9