Article
Licensed
Unlicensed
Requires Authentication
4. Workshop „Virtual Component Design & Reuse” (VCDR)
-
Ralf Seepold
Published/Copyright:
September 25, 2009
Online erschienen: 2009-9-25
Erschienen im Druck: 2001-1-1
© 2015 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
- 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?!
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?!