Article
Licensed
Unlicensed
Requires Authentication
Beweisbar korrekte Telekommunikationssysteme
-
Clemens Fischer
Published/Copyright:
March 1, 1997
Published Online: 1997-03
Published in Print: 1997-03
© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- INHALT
- EDITORIAL: Formale Methoden in der Praxis
- BEITRÄGE/PAPERS
- Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme
- Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme
- Beweisbar korrekte Telekommunikationssysteme
- Semiformale Entwurfsmethoden bei BMW
- Software-Verifikation und ihre Anwendungen
- Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit
- NACHRICHTEN/NEWS
- übrigens... Zur Informatik der Urteilskraft
Articles in the same Issue
- INHALT
- EDITORIAL: Formale Methoden in der Praxis
- BEITRÄGE/PAPERS
- Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme
- Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme
- Beweisbar korrekte Telekommunikationssysteme
- Semiformale Entwurfsmethoden bei BMW
- Software-Verifikation und ihre Anwendungen
- Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit
- NACHRICHTEN/NEWS
- übrigens... Zur Informatik der Urteilskraft
