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
Kangfeng Ye
Dr
Research Associate
,
Computer Science
Former affiliations
PhD
,
Computer Science
Research Associate
,
Computer Science
Research Associate - RoboCalc
,
Computer Science
Phone
(01904) 325428
Email
kangfeng.ye
york.ac
uk
Overview
Network
Publications
(16)
Activities
(4)
Research output
5
Article
4
Conference contribution
3
Chapter
2
Preprint
2
More
1
Poster
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
2018
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
Ye, K.
,
Foster, S. D.
&
Woodcock, J. C. P.
,
Apr 2018
, (Unpublished)
202 p.
Research output
:
Working paper
File