1
0
0
News
Netzwerk-Profile
BibSLEIGH — Eva_Fordran
bibtex.github.io
N.Seßler B.Straube T.Klotz K.Turek J.Schönherr. Talks about: system (1) materi (1) formal (1) verif (1) handl (1) rout (1). Person: Eva Fordran. DBLP: Fordran:Eva.
OPUS 4 | Suchen
opus4.kobv.de
Eva Fordran (1); Petra Hofstedt (1); Thilo Vörtler (1); Thomas Klotz (1) ... Contiki- Anwendungen (2011); Thilo Vörtler Thomas Klotz Eva Fordran Petra Hofstedt.
K. Turek | Semantic Scholar
www.semanticscholar.org
Semantic Scholar profile for K. Turek, with 1 highly influential citations and 9 scientific research papers.
Bücher
oDOBS - Author page: Bernd Straube
lupus.cs.uni-dortmund.de
René KOTHE, Heinrich Theodor VIERHAUS, Torsten COYM, Wolfgang VERMEIREN, Bernd STRAUBE: Embedded Self Repair by Transistor and Gate Level Reconfiguration.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation...
books.google.de
Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube Fraunhofer-Institut für Integrierte Schaltungen Institutsteil Entwurfsautomatisierung ...
Dokumente zum Namen
Langfassung
publications.eas.iis.fraunhofer.de
Nutzung von Entwurfswerkzeugen über das Internet. André Schneider, Eva Fordran. Fraunhofer-Institut für Integrierte Schaltungen,. Abteilung ...
Hanif Fatemi - PDF documents
www.documbase.com
Hanif fatemi home address: w.adams blvd,apt# • h. fatemi, s. nazarian, and massoud pedram,
On the formal verification of routing in material handling systems |...
www.ieeeexplore.ws
IEEE Xplore, delivering full text access to the world's highest quality technical literature in engineering and technology. | IEEE Xplore
Veröffentlichungen allgemein
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung -...
researchr.org
... title = {Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung}, author = {Ingo Schreiber and Jens Schönherr and Eva Fordran and Klaus Schneider ...
Sonstiges
TDGS - "Eva Fordran"
juliette.lsi.us.es
A total of 10 records were found in seconds. Report | Google. Ein Ansatz zur Verifikation von Materialflusssteuerungen. Thomas Klotz, Bernd Straube, Eva ...
DataCite Search
search.datacite.org
Entwicklung und Optimierung von Gebäudemanagementsystemen. Stephan Seidel, Christoph Clauß, Eva Fordran, Jürgen Haufe, Richard Meyer, Kristin Majetta ...
Formal verification of UML-modeled machine controls | Semantic Scholar
www.semanticscholar.org
Thomas Klotz, Eva Fordran, +1 author Jürgen Haufe; Published in IEEE Conference on Emerging Technologies… DOI: ETFA
BibSLEIGH — On the formal verification of routing in material...
bibtex.github.io
Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr On the formal verification of routing in material handling systems
SpringerCitations - Details Page
citations.springernature.com
Conference Paper. Toward verification of material handling systems. Thomas Klotz, Bernd Straube, Eva Fordran, Jurgen Haufe, Frank Schulze, Karsten Turek ...
IEEE CASE Best Conference Paper Award - IEEE Robotics and Automation...
www.ieee-ras.org
Focus is on both applied and theoretical issues in robotics and automation. Robotics is here defined to include intelligent machines and systems; whereas...
Program at a glance
www.etfa2012.agh.edu.pl
English description - change it in your language settings
INDIN IEEE 9th International Conference on Industrial Informatics -...
docplayer.net
... based on Manufacturing Standards Elisabet Estevez, Dario Orive, Isabel Sarachaga, Marga Marcos Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, ...
Petra Hofstedt - researchr alias
researchr.org
... inap 2013: [doi] · Formale Verifikation von Contiki-AnwendungenThilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt. mbmv 2011:
SCEAS
sceas.csd.auth.gr
Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. [Citation ...
Thilo Vörtler - researchr alias
researchr.org
Formale Verifikation von Contiki-AnwendungenThilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt. mbmv 2011: Sign in or sign up to see more ...
OPUS 4 | Formale Verifikation von Contiki-Anwendungen
opus4.kobv.de
Formale Verifikation von Contiki-Anwendungen. Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt. Export metadata. Export Bibtex · Export RIS. Additional ...
www.comlab.ox.ac.uk/publications/publication766.bib
www.cs.ox.ac.uk
... author = "Ulrich Hensel and Eva Fordran and Matthias Fruth and Hu ... Schaltungen und Systemen"", publisher = "Shaker-Verlag", title = "Model Checking ...
Verwandte Suchanfragen zu Eva Fordran
Karsten Turek Thilo Vörtler Jens Schönherr | Thomas Klotz Petra Hofstedt Elli Schmalz | Antje Fordran Sabine Fordran |
Personen Vorname "Eva" (39689) Name "Fordran" (3) |
sortiert nach Relevanz / Datum