FORSOFT

BAYERISCHER FORSCHUNGSVERBUND SOFTWARE-ENGINEERING

Logo FORSOFT

Verification of SDL Specifications on the Basis of Stream Semabtics

21.02.2018

U. Hinkel In: The 1st Workshop of the SDL Forum Society on SDL and WSC -- SAM`98, Informatik Bericht der Humboldt Universtät zu Berlin

Informationen

Gründungsdatum

02.2000

Ende

01.2003

Gefördert durch

Bayerische Forschungsstiftung