Suche
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).
- Zurück
- 1
- Weiter
Treffer Dokumente:
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
29-Apr-2015 | Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung | Ammann, Christian |
Facetten
Schlagwort
- 1 Compilerbau
- 1 MDD
- 1 Model Checker
- 1 Spin
- 1 Xtext