Artikel
Öffentlich zugänglich
INHALT
Veröffentlicht/Copyright:
1. März 1997
Published Online: 1997-03
Published in Print: 1997-03
© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München
Artikel in diesem Heft
- 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
Artikel in diesem Heft
- 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
