THE MATHWORKS
  • ANGEBOTE (35)

  • KATALOGE

  • WEISSBUECHER

  • MITTEILUNGEN

  • Empfohlene Angebote
  • Keine Treffer. Meinten Sie?
  • Empfohlene Kategorien
  • Keine Treffer. Meinten Sie?
  • Empfohlene Unternehmen
  • Keine Treffer. Meinten Sie?

  • Empfohlene Angebote
  • Keine Treffer. Meinten Sie?
  • Empfohlene Kategorien
  • Keine Treffer. Meinten Sie?
  • Empfohlene Unternehmen
  • Keine Treffer. Meinten Sie?
Aussteller werden
Hilfe
Mein Konto
THE MATHWORKS

PolySpace Client for C/C++ 7.0.1

Identifizierung, Logische Zugangskontrolle

“ Nachweis der Abwesenheit von Laufzeitfehlern in der Software-Komponente. ”
Angebot anfordern Erhalten Dokumentation Kontaktieren Sie den Lieferanten

PolySpace Client™ für C/C++ bietet zusammen mit PolySpace Server™ für C/C++ eine Code-basierte Verifikation, durch die das Auftreten sowie die Abwesenheit von Laufzeitfehlern im Quellcode, wie z.B. Überlauf, Division durch Null oder unzulässiger Array-Zugriff nachgewiesen wird, ohne das Programm auszuführen, den Code zu instrumentieren oder Testfälle zu erzeugen. PolySpace Client für C/C++ greift bei der Verifizierung des Codes auf die formale Methode der abstrakten Interpretation zurück. Damit können Sie handschriftlichen Code, generierten Code oder eine Kombination der beiden noch vor Kompilierung und funktionalen Tests verifizieren.

UNTER DEN PRODUKTEN IDENTIFIZIERUNG, LOGISCHE ZUGANGSKONTROLLE VON THE MATHWORKS

Real-Time Workshop 7.3

Real-Time Workshop 7.3

 Angebot anfordern
Real-Time Workshop Embedded Coder 5.3

Real-Time Workshop Embedded Coder 5.3

 Angebot anfordern
PolySpace Client for Ada 5.3

PolySpace Client for Ada 5.3

 Angebot anfordern
PolySpace Server for Ada 5.3

PolySpace Server for Ada 5.3

 Angebot anfordern
PolySpace Model Link SL (for Simulink) 5.3

PolySpace Model Link SL (for Simulink) 5.3

 Angebot anfordern

DIE NUTZER HABEN AUCH DIE KATEGORIE IDENTIFIZIERUNG, LOGISCHE ZUGANGSKONTROLLE

IronNet Multi-Protocol Policy and Compliance Gateway Security Appliance

IronNet Multi-Protocol Policy and Compliance Gateway Security Appliance

 Angebot anfordern
RADAR Anti-Fraud Data und Resources

RADAR Anti-Fraud Data und Resources

 Angebot anfordern
CommandCenter - Zentrale management-Lösung

CommandCenter - Zentrale management-Lösung

 Angebot anfordern
SafeWord SecureWire - Identity and Access Management-Anwendung (IAM)

SafeWord SecureWire - Identity and Access Management-Anwendung (IAM)

 Angebot anfordern
SafeWord für zuverlässige Authentifizierung

SafeWord für zuverlässige Authentifizierung

 Angebot anfordern
McAfee Network DLP Monitor

McAfee Network DLP Monitor

 Angebot anfordern

Überprüfen Sie alle Produkte von kategorie identifizierung, logische zugangskontrolle

Das sollten Sie auch sehen

Intrusion detection, Angriffschutz Firewall BackUp Remote Access, Mobilität, Nomadismus Back-up-Appliance Sicherungssoftware Back-up-Server

KÄufer

Finden Sie Ihre Zulieferer Stellen Sie Ihre Anfrage und lassen Sie dann unsere Teams für Sie die besten verfügbaren Angebote finden.

Lieferanten

Finden Sie ihre zukünftigen Kunden Listen Sie Ihre Produkte und Dienstleistungen, um Ihre Internetpräsenz zu verbessern und erhalten Sie qualifizierte Anfragen.