( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Evaluation of a Structured Design Methodology for Concurrent Programming.

, , , , , и . CSERC, стр. 58-65. ACM, (2019)

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.

Erik Kuiper

Taco Kuiper

Ruth Kuiper

Johann Kuiper

Hajo Kuiper

 

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

Pandora's Box., , , и . HOWARD-60, том 42 из EPiC Series in Computing, EasyChair, (2014)Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms., , и . Turing-100, том 10 из EPiC Series in Computing, стр. 168-180. EasyChair, (2012)Towards the Hierarchical, Temporal Logic, Specification., и . The Analysis of Concurrent Systems, том 207 из Lecture Notes in Computer Science, стр. 157-183. Springer, (1983)Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic., и . Int. J. Electron. Commer., 3 (2): 67-85 (1998)Consistent specification of interface suites in UML., , , и . Softw. Syst. Model., 1 (2): 98-112 (2002)Partial-order Reduction Techniques for Real-time Model Checking., , , и . Formal Aspects Comput., 10 (5-6): 469-482 (1998)Dependency Safety for Java: Implementing Failboxes., , , , , , , , и . PPPJ, стр. 15:1-15:6. ACM, (2016)Cooperation-based Invariants for OO Languages., , , и . FACS, том 160 из Electronic Notes in Theoretical Computer Science, стр. 225-237. Elsevier, (2005)Interface Refinement in Reactive Systems (Extended Abstract)., , и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 77-93. Springer, (1992)Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework., и . Seminar on Concurrency, том 197 из Lecture Notes in Computer Science, стр. 35-61. Springer, (1984)