Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
Alvaro Miyazawa
Dr
Lecturer
,
Computer Science
Former affiliations
PhD
,
Computer Science
Research Associate
,
Computer Science
Research Associate
,
Electronic Engineering
https://orcid.org/0000-0003-2233-9091
Phone
(01904) 325655
Email
alvaro.miyazawa
york.ac
uk
Overview
Network
Publications
(33)
Projects
(1)
Activities
(1)
Research output
11
Conference contribution
11
Article
6
Chapter
2
Other chapter contribution
3
More
1
Editorial
1
Software
1
Working paper
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2017
From Formalised State Machines to Implementations of Robotic Controllers
Li, W.
,
Miyazawa, A.
,
De Oliveira Salazar Ribeiro, P. F.
,
Cavalcanti, A.
,
Woodcock, J.
&
Timmis, J.
,
6 Feb 2017
.
Research output
:
Working paper