( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Z Specifications Using SAL.

, и . ZB, том 3455 из Lecture Notes in Computer Science, стр. 85-103. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Claudia Lüke

Wolfgang Lüke

Friedmar Lüke

Hermann Lüke

Werner Luke

 

Другие публикации лиц с тем же именем

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