Home INHALT
Article Publicly Available

INHALT

Published/Copyright: March 1, 1997
Download Article (PDF)
it - Information Technology
From the journal it - Information Technology Volume 39 Issue 3

Published Online: 1997-03
Published in Print: 1997-03

© 2013 Oldenbourg Wissenschaftsverlag GmbH, Rosenheimer Str. 145, 81671 München

Articles in the same Issue

  1. INHALT
  2. EDITORIAL: Formale Methoden in der Praxis
  3. BEITRÄGE/PAPERS
  4. Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme
  5. Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme
  6. Beweisbar korrekte Telekommunikationssysteme
  7. Semiformale Entwurfsmethoden bei BMW
  8. Software-Verifikation und ihre Anwendungen
  9. Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit
  10. NACHRICHTEN/NEWS
  11. übrigens... Zur Informatik der Urteilskraft
https://doi.org/10.1524/itit.1997.39.3.3

Articles in the same Issue

  1. INHALT
  2. EDITORIAL: Formale Methoden in der Praxis
  3. BEITRÄGE/PAPERS
  4. Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme
  5. Formale Spezifikation, Verifikation und Synthese zustandsendlicher Systeme
  6. Beweisbar korrekte Telekommunikationssysteme
  7. Semiformale Entwurfsmethoden bei BMW
  8. Software-Verifikation und ihre Anwendungen
  9. Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit
  10. NACHRICHTEN/NEWS
  11. übrigens... Zur Informatik der Urteilskraft
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Have an idea on how to improve our website?
Please write us.
© 2025 De Gruyter Brill
Downloaded on 12.9.2025 from https://www.degruyterbrill.com/document/doi/10.1524/itit.1997.39.3.3/html
Scroll to top button