( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A timeband framework for modelling real-time systems.

, и . Real Time Syst., 45 (1-2): 106-142 (2010)

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.

Ian J Elmer

David Hayes

Zachary Hayes

Barry Hayes

Egbert Hayessen

 

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

A refinement calculus for logic programs., , , , и . Theory Pract. Log. Program., 2 (4-5): 425-460 (2002)Some remarks on Ämbiguous Machine Architecture".. SIGARCH Comput. Archit. News, 6 (8): 23-24 (1978)Specification Directed Module Testing.. IEEE Trans. Software Eng., 12 (1): 124-133 (1986)Encoding fairness in a synchronous concurrent program algebra: extended version with proofs., и . CoRR, (2018)Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)., , и . CoRR, (2022)Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style., , и . CoRR, (2021)Continuous Action System Refinement., и . MPC, том 4014 из Lecture Notes in Computer Science, стр. 316-337. Springer, (2006)Model-Driven Web Form Validation with UML and OCL., , , и . ICWE Workshops, том 7059 из Lecture Notes in Computer Science, стр. 223-235. Springer, (2011)Refining Specifications to Logic Programs., , и . LOPSTR, том 1207 из Lecture Notes in Computer Science, стр. 1-19. Springer, (1996)Handling localisation in rely/guarantee concurrency: An algebraic approach., и . CoRR, (2019)