direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

VATES: Verifying the Core of a Flying Sensor
Zitatschlüssel glesner07vates:
Autor Sabine Glesner and Steffen Helke and Stefan Jähnichen
Buchtitel Proc. Conquest 2007, 10th International Conference on Quality Engineering in Software Technology
Jahr 2007
Verlag dpunkt Verlag
Typ der Publikation Invited Papers
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe