34 Infos zu Eva Fordran

1 Aktuelle Nachrichten

3 Profile in Sozialen Netzwerken

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.

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.

Semantic Scholar profile for K. Turek, with 1 highly influential citations and 9 scientific research papers.

2 Bücher zum Namen

René KOTHE, Heinrich Theodor VIERHAUS, Torsten COYM, Wolfgang VERMEIREN, Bernd STRAUBE: Embedded Self Repair by Transistor and Gate Level Reconfiguration.

Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube Fraunhofer-Institut für Integrierte Schaltungen Institutsteil Entwurfsautomatisierung ...

3 Dokumente

Nutzung von Entwurfswerkzeugen über das Internet. André Schneider, Eva Fordran. Fraunhofer-Institut für Integrierte Schaltungen,. Abteilung ...

Hanif fatemi home address: w.adams blvd,apt# • h. fatemi, s. nazarian, and massoud pedram,

IEEE Xplore, delivering full text access to the world's highest quality technical literature in engineering and technology. | IEEE Xplore

8 Wissenschaftliche Publikationen

List of computer science publications by Matthias Fruth

List of computer science publications by Bernd Straube

List of computer science publications by Eva Fordran

List of computer science publications by Jürgen Haufe

1 Allgemeine Veröffentlichungen

... title = {Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung}, author = {Ingo Schreiber and Jens Schönherr and Eva Fordran and Klaus Schneider ...

14 Webfunde aus dem Netz

A total of 10 records were found in seconds. Report | Google. Ein Ansatz zur Verifikation von Materialflusssteuerungen. Thomas Klotz, Bernd Straube, Eva  ...

Entwicklung und Optimierung von Gebäudemanagementsystemen. Stephan Seidel, Christoph Clauß, Eva Fordran, Jürgen Haufe, Richard Meyer, Kristin Majetta ...

Thomas Klotz, Eva Fordran, +1 author Jürgen Haufe; Published in IEEE Conference on Emerging Technologies… DOI: ETFA

Thomas Klotz, Norman Seßler, Bernd Straube, Eva Fordran, Karsten Turek, Jens Schönherr On the formal verification of routing in material handling systems

Conference Paper. Toward verification of material handling systems. Thomas Klotz, Bernd Straube, Eva Fordran, Jurgen Haufe, Frank Schulze, Karsten Turek ...

Focus is on both applied and theoretical issues in robotics and automation. Robotics is here defined to include intelligent machines and systems; whereas...

English description - change it in your language settings

... based on Manufacturing Standards Elisabet Estevez, Dario Orive, Isabel Sarachaga, Marga Marcos Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, ...

... inap 2013: [doi] · Formale Verifikation von Contiki-AnwendungenThilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt. mbmv 2011:

Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. [Citation ...

Formale Verifikation von Contiki-AnwendungenThilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt. mbmv 2011: Sign in or sign up to see more ...

Formale Verifikation von Contiki-Anwendungen. Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt. Export metadata. Export Bibtex · Export RIS. Additional ...

... author = "Ulrich Hensel and Eva Fordran and Matthias Fruth and Hu ... Schaltungen und Systemen"", publisher = "Shaker-Verlag", title = "Model Checking ...