Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Applying the B Technologies on CICS., , , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 74-84. Springer, (1996)Automating the Generation and Sequencing of Test Cases from Model-Based Specifications., und . FME, Volume 670 von Lecture Notes in Computer Science, Seite 268-284. Springer, (1993)Requirements engineering, , und . シュプリンガー・ジャパン株式会社, (2005)A Visual Approach to VDM., und . SOFSEM, Volume 1175 von Lecture Notes in Computer Science, Seite 275-284. Springer, (1996)The Visual Presentation of VDM Specifications., und . VDM Europe (1), Volume 551 von Lecture Notes in Computer Science, Seite 670-671. Springer, (1991)A Requirements Guide For All (REGAL): An INCOSE Initiative.. RE, Seite 264. IEEE Computer Society, (2006)Requirements Engineering, , und . Springer, Berlin, (2017)Design traceability. Software, IEEE, 22 (6): 14--16 (November 2005)Automating the Knuth Bendix Ordering., , und . Acta Inf., 28 (2): 95-119 (1990)Quantitative Analysis of an Application of Formal Methods., , und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 60-73. Springer, (1996)