Segui
Dara MacConville
Dara MacConville
Maynooth University
Email verificata su mumail.ie
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–2