Ladenberger, Lukas, Heinrich-Heine Universität Düsseldorf
-
Volume 46: Automated Verification of Critical Systems 2011 - Articles
Mixing Formal and Informal Model Elements for Tracing Requirements
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.