yap-users Mailing List for Yet Another Prolog
sourceforge.net
... FR) * Kai Höfig (Siemens, DE) * Michaela Huhn (Technical University of University of Chieti-Pescara, Italy Jürgen Giesl RWTH Aachen University, ...
[Hol-info] Final CFP: IMBSA International Symposium on...
sourceforge.net
... DE) Matthias Guedemann (Diffblue, UK) Brendan Hall (Honeywell, US) Kai Hoefig (Siemens, DE) Michaela Huhn (Ostfalia, DE) Tim Kelly (University of York, ...
hol-info Mailing List for HOL theorem-proving system
sourceforge.net
... China Heike Wehrheim, University of Paderborn, Germany Peter Olveczky, UK) Brendan Hall (Honeywell, US) Kai Hoefig (Siemens, DE) Michaela Huhn ...
Computer Aided Systems Theory – EUROCAST 2022: 18th ...google.co.uk
books.google.co.uk
... Kai Höfig Rosenheim Technical University of Applied Sciences, Rosenheim, Germany https ...
Computer Aided Systems Theory – EUROCAST 2022: 18th ...google.fi
books.google.fi
... Dominik Stecher, and Kai Höfig Rosenheim Technical University of Applied Sciences, Rosenheim, Germany {florian.bayeff-filloff,dominik.stecher,kai.hoefig}@ ...
Safety and Reliability. Theory and Applications - Google Books
books.google.de
... Dependability, University of Kaiserslautern, Germany Marc Zeller, Kai Höfig & Martin Rothfelder Siemens AG, Corporate Technology, Munich, Germany Peter ...
metaFMEA-A Framework for Reusable FMEAsSpringer
link.springer.com
von K Höfig · · Zitiert von: 8 — Kai Höfig & Marc Zeller. Institute of Software Technology, University of Stuttgart, Stuttgart, Germany. Lars Grunske. Authors. Kai ... von K Höfig · · Zitiert von: 8 — Kai Höfig & Marc Zeller. Institute of Software Technology, University of Stuttgart, Stuttgart, Germany. Lars Grunske. Authors. Kai ...
Alle Infos zum Namen "Kai Höfig"
A consistency check algorithm for component-based ...TUM
portal.fis.tum.de
A consistency check algorithm for component-based refinements of fault trees. Dominik Domis, Kai Höfig, Mario Trapp. University of Kaiserslautern; Fraunhofer ... A consistency check algorithm for component-based refinements of fault trees. Dominik Domis, Kai Höfig, Mario Trapp. University of Kaiserslautern; Fraunhofer ...
Committees | IMBSA 2020EasyConferences.eu
easyconferences.eu
General Chairs. Kai Höfig (Siemens / Rosenheim Technical University of Applied Sciences, DE). Marc Zeller (Siemens, DE). PC-Chairs. Leila Kloul (Universite de ... General Chairs. Kai Höfig (Siemens / Rosenheim Technical University of Applied Sciences, DE). Marc Zeller (Siemens, DE). PC-Chairs. Leila Kloul (Universite de ...
Failure Mode Reasoning in model based safety analysisMacquarie University
researchers.mq.edu.au
von H Jahanian · · Zitiert von: 7 — Marc Zeller, Kai Höfig. Place of Publication, Cham, Switzerland. Publisher, Springer, Springer Nature. Pages, Number of pages, 16. ISBN (Electronic) ... von H Jahanian · · Zitiert von: 7 — Marc Zeller, Kai Höfig. Place of Publication, Cham, Switzerland. Publisher, Springer, Springer Nature. Pages, Number of pages, 16. ISBN (Electronic) ...
Program CommitteeIEEE Computer Society
www.computer.org
von P Czarnul · · Zitiert von: 3 — ... Kai Höfig - Siemens, Germany Anton Jansen - Consultant at Philips Innovation Services - Eindhoven, Netherlands Mehdi Jazayeri - University of Lugano ... von P Czarnul · · Zitiert von: 3 — ... Kai Höfig - Siemens, Germany Anton Jansen - Consultant at Philips Innovation Services - Eindhoven, Netherlands Mehdi Jazayeri - University of Lugano ...
AutomotiveUI 2015
www.auto-ui.org
AutomotiveUI Paper Co-Chairs: ... Kai Höfig, Siemens AG, ... Christian Janssen, Utrecht University, Netherlands; James Jenness, Westat, United States of America;
Dirk Repsilber | Örebro University - Academia.eduoru.academia.edu › DirkRepsilber
oru.academia.edu
by Kai Hoefig and Dirk Repsilber. Recent studies indicate that microRNAs ( miRNAs) are mechanistically involved in the development of various human ...
MOCS - Model-based development, Components ...ucy.ac.cy
dsd-seaa2016.cs.ucy.ac.cy
Kai Hoefig, Siemens, Germany Darko Huljenic, Ericsson Nikola Tesla d.d., Croatia Sylvia Ilieva, Sofia University, Bulgaria
Dirk Repsilber | Örebro University - Academia.edu
oru.academia.edu
Academia.edu is a place to share and follow research.
Committees | IMBSA 2019
easyconferences.eu
Lars Grunske (Humboldt University Berlin, DE). Matthias Güdemann (Input- Output Hong-Kong, HK). Brendan Hall (Honeywell, US). Kai Höfig (Siemens, DE).
MOCS | SEAA | Euromicro DSD/SEAA
dsd-seaa2017.ocg.at
Petr Hnetynka, Charles University in Prague, Czech Republic. Kai Hoefig, Siemens, Germany. Darko Huljenic, Ericsson Nikola Tesla d.d., Croatia. Sylvia Ilieva ...
Program Committee – ICSA 2017
icsa-conferences.org
Kai Höfig - Siemens, Germany Anton Jansen - Consultant at Philips Innovation Services - Eindhoven, Netherlands Mehdi Jazayeri - University of Lugano, ... › progr...
[IMBSA 2014] Extended Deadline - International Symposium...
lists.gnu.org
Kai Höfig (Siemens, DE). • Michaela Huhn (Technical University of Clausthal, DE). • Tim Kelly (University of York, GB). • Leila Kloul (Universite ...
sortiert nach Relevanz / Datum