Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
PVS
Glossar:25901
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung
PVS (Prototype Verification System) ist ein formales Verifikationssystem zur Entwicklung und Analyse von formalen Spezifikationen. Es wurde vom SRI (Stanford Research Institute) entwickelt.

Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018