( en | de | ru )

 

Disambiguierung von "Hall, Anthony"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Invitation to Formal Methods.

, , , , , , , , , , , , , , und . IEEE Computer, 29 (4): 16-30 (1996)

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.

Dudley Hall

Klemens Hall

Ewald Hall

Peter Hall

Christopher Hall

 

Weitere Publikationen von Autoren mit dem selben Namen

Motion Capture for a Natural Tree in the Wind., , , , und . MIG, Volume 6459 von Lecture Notes in Computer Science, Seite 158-169. Springer, (2010)A Real Time Kernel to Support the Transputer Programming Model., und . HPCN Europe, Volume 1225 von Lecture Notes in Computer Science, Seite 615-623. Springer, (1997)Will It Work?, , und . RE, Seite 102-109. IEEE Computer Society, (2001)Do interactive systems need specifications?. DSV-IS, Seite 1-12. Springer, (1997)Plant Circadian Clocks Increase Photosynthesis, Growth, Survival, and Competitive Advantage, , , , , , , , und . Science, 309 (5734): 630-633 (2005)What's the Use of Requirements Engineering?. RE, Seite 2-. IEEE Computer Society, (1997)The Future of Formal Methods in Industry., , , , und . ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 237-242. Springer, (1995)Software Verification and Software Engineering a Practitioner's Perspective.. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 70-73. Springer, (2005)Tool Interfaces in Integrated Project Support Environments.. ICSE, Seite 289-290. ACM Press, (1987)What Does Industry Need From Formal Specification Techniques?. WIFT, Seite 2-. IEEE Computer Society, (1998)