KIT | KIT-Bibliothek | Impressum | Datenschutz

Linking Functional Requirements and Software Verification

Post, H.; Sinz, C.; Merz, F.; Gorges, T.; Kropf, T.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2009
Sprache Englisch
Identifikator ISBN: 978-0-7695-3761-0
KITopen-ID: 1000028427
Erschienen in Proceeding RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, Atlanta, Georgia, USA, August 31-September 04
Verlag IEEE Computer Society, Washington (DC)
Seiten 295-302
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page