89 Infos zu Elke Salecker

7 Aktuelle Nachrichten

Pressemitteilung von Model Engineering Solutions GmbH - Sommer-Webinare: Die MES Webinar-Reihe geht weiter veröffentlicht auf openPR

Autor*innen: Dr. Elke Salecker (Model Engineering Solutions GmbH), Dr. Ingo Stürmer (Model Engineering Solutions GmbH) Veröffentlicht: SAE World ...

The Siemens Drive Technologies Division has added modelbased development to their classic software development process for implementing safety-critical vehicle...

Press release - Model Engineering Solutions GmbH - Summer Webinars: The MES Webinar Series Continues - published on openPR.com

5 Profile in Sozialen Netzwerken

Sehen Sie sich das Karriere-Profil von Elke Salecker (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ... Es fehlt: delhi

Sehen Sie sich das berufliche Profil von Elke Salecker (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ... Es fehlt: hamburg

Elke Salecker ist Mitglied bei StayFriends und hat bis diese Schule besucht: Grundschule Roggendorf.

Talks about: test (4) combinatori (1) interact (1) pairwis (1) grammar (1) select (1) partit (1) calcul (1) graph (1) base (1). Person: Elke Salecker. DBLP: Salecker: ...

1 Angaben zur Herkunft

Elke Salecker. Dr.-Ing. Technische Universität Berlin Germany. Dissertation: Test and Verification of Compiler Back Ends with a Cost-Benefit Analysis.

12 Bücher zum Namen

text {* thanks to Elke Salecker *} type_synonym vname = nat type_synonym vvalue = int type_synonym var_assign = "vname => vvalue" --"variable assignment"

View this e-book online (Requires EZproxy login off-campus) ... Ingo Stürmer, Elke Salecker and Hartmut Pohlheim -- Software Architecture of a Safety-Related  ...

... Ingo Stürmer, Elke Salecker and Hartmut Pohlheim; Software Architecture of a Safety-Related Actuator in Traffic Management Systems /; Thomas Novak and ...

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March...

5 Dokumente

... already discussed in the article “Pairwise Test Set Calculation using k-partite Graphs” written by Elke Salecker, Sabine Glesner (TU Berlin), ...

Elke Salecker, Robert Reicherdt, and Sabine Glesner. Session 4: Model and SOA Validation. Automated Detection of Discontinuities in Models Inferred from ...

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. Elke Salecker, Sabine Glesner. Berlin Institute of Technology. TU Berlin – ...

dSPACE Magazine

9 Wissenschaftliche Publikationen

Bibliographic content of Formal Methods for Industrial Critical Systems 2007

Elke Salecker: Test and verification of compiler back ends with a cost-benefit analysis. Berlin Institute of Technology, [c6]. view. electronic ...

Bibliographic content of International Conference on Software Testing, Verification, and Validation 2012

List of computer science publications by Robert Reicherdt

3 Allgemeine Veröffentlichungen

PDF · Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. Lars Gesellensetter, Sabine Glesner, Elke Salecker. Pages

Model-based development has become a standard software development approach in the automotive field. Evidence for this is provided by its incorporation in the...

42 Webfunde aus dem Netz

Professional Webpage of Dr Gilles Perrouin

Pairwise test set calculation using k-partite graphs; Zitatschlüssel: saleckerG2010: Autor: Elke Salecker and Sabine Glesner: Jahr: 2010: ISBN:

Thank you Peter I will give that a try. Regards, Mrs Elke Salecker --- In , Peter Fackelmann <pfackelmann@g.

Search: Everything Browse: SpeakersConferencesTopicsContributorsAnalyticsFolkloreAboutLogin. Elke Salecker [Speaker-Timeline] [Speaker-Links]

Elke Salecker (1) Fritz Salecker (1) Gerd Salecker (1) Horst Salecker (1) +more. Familiennamen Salecker - Germany Familiennamen Salecker - USA Salecker ...

Elisabeth Salecker (1) Heinz Salecker (1) Helga Salecker (1) Helmut Salecker (1) Iris Salecker (1) Hartmut Salecker (1) Hans Salecker (1) Elke Salecker (1)

Elke Salecker früher aus Roggendorf in Mecklenburg-Vorpommern hat folgende Schule besucht: von bis Grundschule Roggendorf. Jetzt mit Elke Salecker Kontakt aufnehmen, Fotos ansehen und vieles mehr. Wie erinnern Sie sich an Elke? Humorvoll Kreativ Clever Charmant Spontan Hübsch Zielstrebig Mein Schwarm Cool.

Search results for: Elke Salecker ... Elke Salecker, Sabine Glesner · IEEE Fifth International Conference on Software Testing, Verification and Validation ...

Elke Salecker mit Adresse ☎ Tel. und mehr bei ☎ Das Telefonbuch Ihre Nr. 1 für Adressen und Telefonnummern

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker MOTIVATION Fahrzeug-Software wird ...

Elke Salecker in Berlin mit Adresse ☎ Tel. und mehr bei ☎ Das Telefonbuch Ihre Nr. 1 für Adressen und Telefonnummern

Huge Simulink controller models often consists of (almost) identical subsystems, very often resulting from copy-and-paste operations and only slight adaptation ...

Elke Salecker. Publications. Order by: Author Year Journal Salecker, E. and Glesner, S. (2012). Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), Link to original publication ...

Elke Salecker wrote: Ich bin noch ganz neu auf meinem Posten als Systemadministratorin in meiner Bibliothek und soll nun etwas ueber Z …

IEEE Computer Society Digital Library

From: Elke Salecker <elke _at__ kassandra.wz-berlin.de - Subject: Z39/50;

Combinatorial interaction testing has become an established technique to systematically determine test sets for highly-configurable software systems. The...

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. Mark. Elke Salecker. [0]. Robert Reicherdt. [0]. Sabine Glesner. [0].

Lars Gesellensetter, Sabine Glesner, Elke Salecker: Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. FMICS 2007:

Software bugs can cause tremendous financial loss and are a serious threat to life or physical condition in safety-critical areas. Formal software