Publikationen // Universität Oldenburg https://uol.de/csd/pub
implemented dDGL in the theorem prover KeYmaera and consider a case study in which a robot
Dein Suchergebnis zum Thema: Roboter
Prof. Dr. Ernst-Rüdiger Olderog (i.R.) // Universität Oldenburg https://uol.de/csd/persons/prof-dr-ernst-ruediger-olderog
dedicated for programmable logic controllers (PLCs), or by programs for LEGO Mindstorm robots