Folgen
Dara MacConville
Dara MacConville
Maynooth University
Bestätigte E-Mail-Adresse bei mumail.ie
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2