( en | de | ru )

 

Disambiguierung von "Kuiper, Ruurd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluation of a Structured Design Methodology for Concurrent Programming.

, , , , , und . CSERC, Seite 58-65. ACM, (2019)

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.

Erik Kuiper

Taco Kuiper

Johann Kuiper

Ruth Kuiper

Hajo Kuiper

 

Weitere Publikationen von Autoren mit dem selben Namen

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