( en | de | ru )

 

Disambiguierung von "de Boer, Frank S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Language for Coherent Enterprise Architecture Descriptions.

, , , , , , , , , , , , , , , , , und . EDOC, Seite 28-39. IEEE Computer Society, (2003)

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

Erik Böer

 

Weitere Publikationen von Autoren mit dem selben Namen

Agent Programming in 3APL., , , und . Auton. Agents Multi Agent Syst., 2 (4): 357-401 (1999)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)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 proof rule for process-creation.. Formal Description of Programming Concepts, Seite 23-52. North-Holland, (1987)Run-Time Deadlock Detection., und . Provably Correct Systems, Springer, (2017)A Petri Net Based Modeling of Active Objects and Futures., , , und . Fundam. Informaticae, 159 (3): 197-256 (2018)A Timed Linda Language and its Denotational Semantics., , und . Fundam. Informaticae, 63 (4): 309-330 (2004)Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models., , , und . J. Univers. Comput. Sci., 11 (6): 1054-1082 (2005)Modular Verification of a Component-Based Actor Language., , und . J. Univers. Comput. Sci., 11 (10): 1695-1717 (2005)