( en | de | ru )

 

Disambiguierung von "de Boer, Frank S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Run-Time Checking Multi-threaded Java Programs.

, und . SOFSEM, Volume 9587 von Lecture Notes in Computer Science, Seite 217-228. Springer, (2016)

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.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Chandradewana Boer

 

Weitere Publikationen von Autoren mit dem selben Namen

User-defined schedulers for real-time concurrent objects., , , , und . ISSE, 9 (1): 29-43 (2013)Prototyping a tool environment for run-time assertion checking in JML with communication histories., , und . FTfJP@ECOOP, Seite 6:1-6:7. ACM, (2010)A Fully Abstract Semantics for UML Components, , , und . X, Seite 49--69. (2005)On Futures for Streaming Data in ABS - (Short Paper)., , und . FORTE, Volume 10321 von Lecture Notes in Computer Science, Seite 67-73. Springer, (2017)A proof rule for process-creation.. Formal Description of Programming Concepts, Seite 23-52. North-Holland, (1987)Formal Verification of Service Level Agreements Through Distributed Monitoring., , und . ESOCC, Volume 9306 von Lecture Notes in Computer Science, Seite 125-140. Springer, (2015)A design pattern for optimizations in data intensive applications using ABS and JAVA 8., , , , und . Concurr. Comput. Pract. Exp., 28 (2): 374-385 (2016)Object-Oriented and Constraint Programming for Time Critical Applications.. ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 255-266. Springer, (1999)Modularity and the Rule of Adaptation., und . AMAST, Volume 3116 von Lecture Notes in Computer Science, Seite 394-408. Springer, (2004)Semantics of Plan Revision in Intelligent Agents., , und . AMAST, Volume 3116 von Lecture Notes in Computer Science, Seite 426-442. Springer, (2004)