Seguir
Dara MacConville
Dara MacConville
Maynooth University
E-mail confirmado em mumail.ie
Título
Citado por
Citado por
Ano
Modelling the Turtle Python library in CSP
D MacConville, M Farrell, M Luckcuck, R Monahan
arXiv preprint arXiv:2207.09706, 2022
22022
CSP2Turtle: Verified Turtle Robot Plans
D MacConville, M Farrell, M Luckcuck, R Monahan
Robotics 12 (2), 62, 2023
2023
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–2