Searching for authors named "Oliver Meyer" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Formal Methods in Robotics: Fault Tree Based Verification
- …Formal Methods in Robotics: Fault Tree Based Verication Axel Lankenau and Oliver Meyer Bremen…
- Cited by 4 (1 self) – Add To MetaCart
-
Improving the Publication Chain through High-Level Authoring Support
- … and Oliver Meyer Lehrstuhl für Informatik III, RWTH Aachen Ahornstraße 55, 52074 Aachen, Germany {fxg, omeyer…
- Cited by 5 (2 self) – Add To MetaCart
-
Graph Technology for Structured Documents
- …Graph Technology for Structured Documents Anita Behle Felix Gatzemeier Oliver Meyer Lehrstuhl für…
- Cited by 2 (1 self) – Add To MetaCart
-
Automated Testing with RT-Tester - Theoretical Issues Driven by Practical Needs
- … Oliver Meyer 1 and Jan Peleska 1;2 1 TZI, Universitat Bremen, P.O. Box 330440, D-28334 Bremen, e…
- Cited by 1 (0 self) – Add To MetaCart
-
Safety in Robotics: the Bremen Autonomous Wheelchair
- …Safety in Robotics: the Bremen Autonomous Wheelchair Axel Lankenau, Oliver Meyer and Bernd Krieg…
- Cited by 9 (5 self) – Add To MetaCart
-
aTool --- Creating Validated XML Documents on the Fly
- …, Ontario, Canada. Copyright 2002 ACM 1-58113-543-2/02/0010 ...$5.00. Oliver Meyer RWTH Aachen Department…
- Add To MetaCart
-
Graph Technology for Structured Documents
- …Graph Technology for Structured Documents Anita Behle Felix Gatzemeier Oliver Meyer Lehrstuhl für…
- Add To MetaCart
-
Correctness Analysis Of An Embedded Controller
- … , Oliver Meyer , Thomas Hulsing y Abstract In this paper we report on the use of a new method…
- Cited by 4 (1 self) – Add To MetaCart
-
Graph Technology Applied to Editing Structured
- … Oliver Meyer ⋆ Lehrstuhl für Informatik III, RWTH Aachen {fxg,omeyer}@(email omitted); 1 Introduction…
- Add To MetaCart
Showing 1 through 9.
