Vorschau

Dateiname

MathWorks_SDV_image.jpg

Beschreibung

Simulink Design Verifier nutzt formale Methoden zur Erkennung von Design-Fehlern wie Überläufen, toter Modelllogik, Division durch Null und Assertions-Verletzungen (rot markiert in Abbildung)

MathWorks GmbH - Standort Aachen

Herausgeber

MathWorks GmbH - Standort Aachen

Für die oben stehenden Stories, das angezeigte Event bzw. das Stellenangebot sowie für das angezeigte Bild- und Tonmaterial ist allein der jeweils angegebene Herausgeber (siehe Firmeninfo bei Klick auf Bild/Titel oder Firmeninfo rechte Spalte) verantwortlich. Dieser ist in der Regel auch Urheber der Texte sowie der angehängten Bild-, Ton- und Informationsmaterialien. Die Nutzung von hier veröffentlichten Informationen zur Eigeninformation und redaktionellen Weiterverarbeitung ist in der Regel kostenfrei. Bitte klären Sie vor einer Weiterverwendung urheberrechtliche Fragen mit dem angegebenen Herausgeber. Bei Veröffentlichung senden Sie bitte ein Belegexemplar an service@pressebox.de.

Herunterladen

Nutzerrechte