Formale Verifikationsverfahren (Formal Verification)

Hans Eveking

doi:10.1524/itit.2001.43.1.05

Home Mathematics Formale Verifikationsverfahren (Formal Verification)

Article

Licensed

Unlicensed Requires Authentication

Formale Verifikationsverfahren (Formal Verification)

Hans Eveking

Published/Copyright: September 25, 2009

Published by

Become an author with De Gruyter Brill

Submit Manuscript Author Information Explore this Subject

From the journal it - Information Technology Volume 43 Issue 1

MLA
APA
Harvard
Chicago
Vancouver

MLA
APA
Harvard
Chicago
Vancouver

Eveking, Hans. "Formale Verifikationsverfahren (Formal Verification)" it - Information Technology, vol. 43, no. 1, 2001, pp. 5-7. https://doi.org/10.1524/itit.2001.43.1.05

Eveking, H. (2001). Formale Verifikationsverfahren (Formal Verification). it - Information Technology, 43(1), 5-7. https://doi.org/10.1524/itit.2001.43.1.05

Eveking, H. (2001) Formale Verifikationsverfahren (Formal Verification). it - Information Technology, Vol. 43 (Issue 1), pp. 5-7. https://doi.org/10.1524/itit.2001.43.1.05

Eveking, Hans. "Formale Verifikationsverfahren (Formal Verification)" it - Information Technology 43, no. 1 (2001): 5-7. https://doi.org/10.1524/itit.2001.43.1.05

Eveking H. Formale Verifikationsverfahren (Formal Verification). it - Information Technology. 2001;43(1): 5-7. https://doi.org/10.1524/itit.2001.43.1.05

Copy

Copied to clipboard

BibTeX EndNote RIS

Online erschienen: 2009-9-25

Erschienen im Druck: 2001-1-1

You are currently not able to access this content.

Articles in the same Issue

Formale Verifikationsverfahren (Formal Verification)
Äquivalenzvergleich mit strukturellen Methoden (Equivalence Checking using Structural Methods)
Industrial Experience with Formal Verification (Industrielle Erfahrungen mit Formaler Verifikation)
Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists)
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs)
Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models)
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems)
Neue Medien in der Lehre (1): Living Pictures – Lernmodule für die Informatikausbildung
4. Workshop „Virtual Component Design & Reuse” (VCDR)
Symposien, Kongresse, Workshops, Tagungen
übrigens ... Schöne neue Welt?!

Search journal Search the content of this journal

https://doi.org/10.1524/itit.2001.43.1.05

Articles in the same Issue

Formale Verifikationsverfahren (Formal Verification)
Äquivalenzvergleich mit strukturellen Methoden (Equivalence Checking using Structural Methods)
Industrial Experience with Formal Verification (Industrielle Erfahrungen mit Formaler Verifikation)
Formale Verifikation für Nicht-Formalisten (Formal Verification for Non-Formalists)
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs)
Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models)
Formale Verifikation diskreter Echtzeitsysteme (Formal Verification of Discrete Real-Time Systems)
Neue Medien in der Lehre (1): Living Pictures – Lernmodule für die Informatikausbildung
4. Workshop „Virtual Component Design & Reuse” (VCDR)
Symposien, Kongresse, Workshops, Tagungen
übrigens ... Schöne neue Welt?!