Link zur Artikelübersicht und -suche

Link zur Pressemitteilungsübersicht und -suche

Link zur Sessionübersicht und -suche

Link zur Ausstellerübersicht und -suche

Link zur Produktübersicht und -suche

de-DE

nVent Schroff

Wenn Sie den Inhalt aktivieren, werden personenbezogene Daten gespeichert und Cookies gesetzt. Um diese Inhalte sehen zu können, müssen Sie zuerst die Cookie-Richtlinien akzeptieren.

Speichern Sie Ihre Lieblingsinhalte für später.

Hier können Sie Ihre Profildaten einsehen. Bitte vervollständigen oder ändern Sie Ihre Daten, wenn sie nicht mehr aktuell sind. Bitte speichern Sie Ihre Änderungen unten auf der Seite. Aus Sicherheitsgründen können Sie Ihren Vor- und Nachnamen, Ihre E-Mail-Adresse und Ihr Passwort nur beim Identity Provider ändern.

Bleiben Sie mit Kolleginnen und Kollegen aus aller Welt in Kontakt.

Dies ist Ihr persönliches Profil. Sie haben die Möglichkeit, Ihre Angaben zu vervollständigen oder zu ändern (gehen Sie auf 'Profil bearbeiten'). Wenn Sie ein Besucher der it-sa Expo&Congress sind, können Sie hier Ihre Teilnahme vor Ort markieren. Diese Informationen sind für andere Nutzer, die Ihr Profil besuchen, sichtbar.

Pflegen Sie Ihr eigenes Benutzerprofil für besseres Networking.

Wir empfehlen Ihnen, Ihr Profil vollständig und aktuell auszufüllen. Dadurch ist Ihr Profil sichtbarer und Sie sind von anderen Usern unter Community besser aufzufinden:

Hier können Sie sich persönlich vorstellen und sagen, was andere Benutzer über Sie wissen sollten. Für die internationalen Benutzer können Sie das englische Feld verwenden. Bitte beachten Sie, dass Sie maximal 2.000 Zeichen verwenden können.

Stellen Sie sich auf Englisch vor, damit die internationalen Benutzer Sie besser kennenlernen können. Bitte beachten Sie, dass Sie maximal 2.000 Zeichen verwenden können.

Teilen Sie anderen Benutzern mit, ob Sie vor Ort sein werden. Bitte beachten Sie, dass dieses Feld nach der Messe wieder gelöscht wird.

Bei der Aktualisierung des Benutzers ist ein Fehler aufgetreten.

Wählen Sie eine oder mehrere Sprachen aus, in denen Sie kontaktiert werden möchten (maximal 3). Eine weitere Auswahlmöglichkeit erscheint, sobald Sie eine Sprache ausgewählt haben.

Vervollständigen Sie Ihr Profil mit einem professionellen Bild. Wählen Sie JPG, BMP oder PNG als Dateiformat mit einer maximalen Größe von 1 MB. Wir empfehlen eine Auflösung von 646 x 646 px.

Ihre Merkliste ist leer. Nutzen Sie bitte die Stern-Funktion, um Inhalte zu Ihren persönlichen Favoriten hinzuzufügen.

Sie hatten in der Vergangenheit bereits Inhalte gespeichert? Wir versuchen diese im Laufe der nächsten Wochen wiederherzustellen. In der Zwischenzeit können Sie aber natürlich jeder Zeit damit starten Inhalte zu merken.

365 Tage im Jahr: Solutions, Knowledge und Networking.

Finden und bieten Sie innovative IT-Security-Lösungen, nehmen Sie an unserem vielfältigen Action-Programm teil und knüpfen & pflegen Sie Kontakte.

Werden Sie Teil der it-sa 365 Community!

Es ist ein Fehler beim Senden der Nachricht aufgetreten. Bitte versuchen Sie es zu einem späteren Zeitpunkt noch einmal oder kontaktieren Sie den Support.

Sie können Ihre Nachricht in Ihrem persönlichen Bereich unter "Nachrichten" finden.

Abfrage ausfüllen mit

Diese Suche entfernen

Diese Inhalte stehen der it-sa 365 Community zur Verfügung. Bitte

embwld

Main Navigation

embedded-world-conference

English

onsite

Session Cluster 6

speaker-markus-krahl

formal-verification-in-practice-experiences-from-embedded-software-projects

daily

Formal Verification in Practice: Experiences from Embedded Software Projects

Wann & Wo

Einzelheiten

Sprecher

Haben Sie noch Fragen?