( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.

, , , , и . LNCS Trans. Aspect Oriented Softw. Dev., (2014)

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.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Erik Böer

 

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

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models., , , и . J. Univers. Comput. Sci., 11 (6): 1054-1082 (2005)Modular Verification of a Component-Based Actor Language., , и . J. Univers. Comput. Sci., 11 (10): 1695-1717 (2005)Preface for the special issue "FM15"., и . Acta Informatica, 55 (6): 459-460 (2018)Schedulability of asynchronous real-time concurrent objects., , , и . J. Log. Algebraic Methods Program., 78 (5): 402-416 (2009)A Petri Net Based Modeling of Active Objects and Futures., , , и . Fundam. Informaticae, 159 (3): 197-256 (2018)Object-Oriented and Constraint Programming for Time Critical Applications.. ECOOP Workshops, том 1743 из Lecture Notes in Computer Science, стр. 255-266. Springer, (1999)A proof rule for process-creation.. Formal Description of Programming Concepts, стр. 23-52. North-Holland, (1987)Prototyping a tool environment for run-time assertion checking in JML with communication histories., , и . FTfJP@ECOOP, стр. 6:1-6:7. ACM, (2010)Run-Time Deadlock Detection., и . Provably Correct Systems, Springer, (2017)Modularity and the Rule of Adaptation., и . AMAST, том 3116 из Lecture Notes in Computer Science, стр. 394-408. Springer, (2004)