1 Buch 

Wissenschaftliche LiteraturValidierungVariata

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle (Forschungsarbeit)

Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle

Variata – Titel ohne Schriftenreihenzuordnung

Unzuverlässige oder fehlerhafte Software in Programmen und Kommunikationsprotokollen hat immer wieder Softwarekrisen hervorgerufen. Unentdeckte Entwurfsfehler gefährden auf der Ebene der Implementierung das korrekte Verhalten von Rechensystemen und Datenverbindungen und können zu katastrophalen wirtschaftlichen Schäden oder nichttolerierbaren Risiken…

ErreichbarkeitsanalyseKorrektheitsbeweisOSI-ProtokolleProtokollvalidierungProvalTransaktionsverarbeitungValidierungswerkzeug PROVAL