( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
^I¼-Charts and Z: examples and extensions

, и . стр. 258--263. (2000)
DOI: 10.1109/APSEC.2000.896707

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.

Galen Reeves

Stuart Reeves

Steve Völler

Steve Tonah

Steve Pasek

 

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

Using State Machines for the Visualisation of Specifications via Refinement., и . ASWEC (2), стр. 106-110. ACM, (2015)Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper)., , и . FMBC@CAV, том 95 из OASIcs, стр. 3:1-3:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets., , и . FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 465-485. Springer, (2019)μ-Charts and Z: Hows, Whys, and Wherefores, и . (2000a)Logic and refinement for charts, и . ACSC '06: Proceedings of the 29th Australasian Computer Science Conference, стр. 13--23. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2006)Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)., и . TABLEAUX, стр. 37-39. (1992)Engineering Interactive Systems with Model-Driven Code Contracts., и . ASWEC, стр. 11-20. IEEE Computer Society, (2018)A Simplified Z Semantics for Presentation Interaction Models., и . FM, том 8442 из Lecture Notes in Computer Science, стр. 148-162. Springer, (2014)Generic Tools via General Refinement, и . Electron. Notes Theor. Comput. Sci., (2008)^I¼-Charts and Z: Hows, Whys, and Wherefores, и . (2000a)