受强制性开放获取政策约束的文章 - Kangfeng Ye了解详情
可在其他位置公开访问的文章：12 篇
Probabilistic modelling and verification using RoboChart and PRISM
K Ye, A Cavalcanti, S Foster, A Miyazawa, J Woodcock
Software and Systems Modeling, 1-50, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Probabilistic semantics for RoboChart: A weakest completion approach
J Woodcock, A Cavalcanti, S Foster, A Mota, K Ye
Unifying Theories of Programming: 7th International Symposium, UTP 2019 …, 2019
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Automated reasoning for probabilistic sequential programs with theorem proving
K Ye, S Foster, J Woodcock
Relational and Algebraic Methods in Computer Science: 19th International …, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formally verified animation for RoboChart using interaction trees
K Ye, S Foster, J Woodcock
International Conference on Formal Engineering Methods, 404-420, 2022
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Calculational verification of reactive programs with reactive relations and Kleene algebra
S Foster, K Ye, A Cavalcanti, J Woodcock
Relational and Algebraic Methods in Computer Science: 17th International …, 2018
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Automated verification of reactive and concurrent programs by calculation
S Foster, K Ye, A Cavalcanti, J Woodcock
Journal of Logical and Algebraic Methods in Programming 121, 100681, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Compositional assume-guarantee reasoning of control law diagrams using UTP
K Ye, S Foster, J Woodcock
From Astrophysics to Unconventional Computation: Essays Presented to Susan …, 2020
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Formally verified animation for RoboChart using interaction trees
K Ye, S Foster, J Woodcock
Journal of Logical and Algebraic Methods in Programming 137, 100940, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
M Adam, K Ye, DA Anisi, A Cavalcanti, J Woodcock, R Morris
2023 IEEE 19th International Conference on Automation Science and …, 2023
强制性开放获取政策： UK Engineering and Physical Sciences Research Council, Research Council of …
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving
K Ye, J Woodcock, S Foster
Theoretical Computer Science 1021, 114876, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
User-Guided Verification of Security Protocols via Sound Animation
K Ye, R Metere, P Yadav
International Conference on Software Engineering and Formal Methods, 33-51, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
A tour through the programming choices: semantics and applications
P Ribeiro, K Ye, F Zeyda, A Miyazawa
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the …, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定