Michael Vistein
Informatiker
Hat mitgewirkt an:
-
An abstract specification language for static program analysis
-
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
-
Hiding real-time: a new approach for the software development of industrial robots
-
Object-centric programming: a new modeling paradigm for robotic applications