1 Buch
Wissenschaftliche LiteraturbeweisVariata
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Zum Shop
Ludger Walther
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 PROVALHäufige Schlagworte im Fachgebiet Rechtswissenschaft