1
0
0
(1 - 24 von 25
)
Search results for "Frank Ortmeier" – FacetedDBLP
dblp.l3s.uni-hannover.de
URL (Homepage): https://cse.cs.ovgu.de/cse/ Author page on DBLP Author page in RDF Community of Frank Ortmeier in ASPL-2. Publication years (Num. hits)
dblp: Sergey Alatartsev
dblp.uni-trier.de
List of computer science publications by Sergey Alatartsev
Dr.-Ing. Tobias Hoppe
wwwiti.cs.uni-magdeburg.de
Homepage of Tobias Hoppe, ... Frank Ortmeier, Peter Daniel (Eds.): ... Jana Dittmann: IDS-Signaturen für automotive CAN-Netzwerke; In: Peter Schartner, Jürgen ...
OPUS 4 | Embedding CTL* in an Extension to Interval Temporal Logic...
opus.bibliothek.uni-augsburg.de
Frank Ortmeier, Michael Balser, Andriy Dunets, Simon Bäumler. In this paper we present an embedding of the most common branching time logics (CTL/CTL*) in an ...
OPUS 4 | Failure-Sensitive Specification: A formal method for finding...
opus.bibliothek.uni-augsburg.de
Failure-Sensitive Specification: A formal method for finding failure modes. Frank Ortmeier, Wolfgang Reif
dblp: SoftSpez Final Report 2004
dblp.uni-trier.de
Bibliographic content of SoftSpez Final Report 2004
Ingenieurinformatik : Contact
wwwiti.cs.uni-magdeburg.de
Dr. Frank Ortmeier. Schallehn. Dr.-Ing. Eike Schallehn. Vornholt. Dipl.-Inf. Stephan Vornholt. Homepage; Ortmeier; Tel.: (0391) ; Gebäude 29, Raum ... › cse
OptiRob - Optimierung von Roboterprogrammen - Forschung ...
www.forschung-fuer-die-zukunft.de
Kontakt. Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik Institut für Intelligente Kooperierende Systeme. Prof. Dr. Frank Ortmeier. › OptiRob
Publikationen - Uni Augsburg
www.uni-augsburg.de
Alex Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif and Gerhard ... Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein and ... › ... › Softwaretechnik
Towards High Accuracy Robot-Assisted Surgery (bibtex)
www.forschungscampus-stimulate.de
by Nadia Schillreff, Mykhaylo Nykolaychuk, Frank Ortmeier. Abstract: In this article, we propose a new error modeling approach for robot manipulators in order to ...
OPUS 4 | Safety optimization: a combination of fault tree analysis...
opus.bibliothek.uni-augsburg.de
Frank Ortmeier, Wolfgang Reif: Series (Serial Number) Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg ( )
Fachgruppe FoMSESS der Gesellschaft für Informatik e.V.
rgse.uni-koblenz.de
Die Fachgruppe FoMSESS -
dblp: Model-Based Development of Embedded Systems 2010
dblp.dagstuhl.de
Bibliographic content of Model-Based Development of Embedded Systems 2010
sortiert nach Relevanz / Datum