Issue
Open Access
Volume 39, Issue 3
Contents
-
Publicly AvailableINHALTMarch 1, 1997
-
Requires Authentication UnlicensedEDITORIAL: Formale Methoden in der PraxisLicensedMarch 1, 1997
- BEITRÄGE/PAPERS
-
Requires Authentication UnlicensedIntegration mathematisch-formaler Techniken in die Entwicklung eingebetteter SteuerungssystemeLicensedMarch 1, 1997
-
Requires Authentication UnlicensedFormale Spezifikation, Verifikation und Synthese zustandsendlicher SystemeLicensedMarch 1, 1997
-
Requires Authentication UnlicensedBeweisbar korrekte TelekommunikationssystemeLicensedMarch 1, 1997
-
Requires Authentication UnlicensedSemiformale Entwurfsmethoden bei BMWLicensedMarch 1, 1997
-
Requires Authentication UnlicensedSoftware-Verifikation und ihre AnwendungenLicensedMarch 1, 1997
-
Requires Authentication UnlicensedSoftwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, UbersetzerkorrektheitLicensedMarch 1, 1997
-
Requires Authentication UnlicensedNACHRICHTEN/NEWSLicensedMarch 1, 1997
-
Requires Authentication Unlicensedübrigens... Zur Informatik der UrteilskraftLicensedMarch 1, 1997
