Inhalt
-
Öffentlich zugänglichINHALT1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertEDITORIAL: Formale Methoden in der PraxisLizenziert1. März 1997
- BEITRÄGE/PAPERS
-
Erfordert eine Authentifizierung Nicht lizenziertIntegration mathematisch-formaler Techniken in die Entwicklung eingebetteter SteuerungssystemeLizenziert1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertFormale Spezifikation, Verifikation und Synthese zustandsendlicher SystemeLizenziert1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertBeweisbar korrekte TelekommunikationssystemeLizenziert1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertSemiformale Entwurfsmethoden bei BMWLizenziert1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertSoftware-Verifikation und ihre AnwendungenLizenziert1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertSoftwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, UbersetzerkorrektheitLizenziert1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertNACHRICHTEN/NEWSLizenziert1. März 1997
-
Erfordert eine Authentifizierung Nicht lizenziertübrigens... Zur Informatik der UrteilskraftLizenziert1. März 1997