( en | de | ru )

 

Disambiguierung von "Wildman, Luke"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Views in Z

. University of Queensland, Australia, (2008)

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.

Claudia Lüke

Hermann Lüke

Friedmar Lüke

Werner Luke

Alfred Lüke

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Generation of Interlocking Controller Software from Control Tables., , , , und . ECMDA-FA, Volume 5095 von Lecture Notes in Computer Science, Seite 349-360. Springer, (2008)Modelling Java Concurrency with Object-Z., , und . SEFM, Seite 173-181. IEEE Computer Society, (2003)Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices., und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 621-638. Springer, (2006)Model Checking Z Specifications Using SAL., und . ZB, Volume 3455 von Lecture Notes in Computer Science, Seite 85-103. Springer, (2005)A Formal Basis for a Program Compilation Proof Tool.. FME, Volume 2391 von Lecture Notes in Computer Science, Seite 491-510. Springer, (2002)Computer-aided development of a real-time program., , und . Software - Concepts and Tools, 19 (4): 190-202 (2000)MDA-Based Re-engineering with Object-Z, , , , und . (2006)The Variety of Variables in Automated Real-Time Refinement., , und . Formal Aspects Comput., 15 (2-3): 258-279 (2003)Views in Z. University of Queensland, Australia, (2008)MDA-Based Re-engineering with Object-Z., , , , und . MoDELS, Volume 4199 von Lecture Notes in Computer Science, Seite 291-305. Springer, (2006)