( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Early Fault Detection in Industry Using Models at Various Abstraction Levels.

, , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 268-282. Springer, (2012)

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.

Arjan Bruijn

Saskia Catharina Mooij

Akram Arjangi

Behrouz Arjang

Arjan Kozica

 

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

Performance Evaluation for Collision Prevention Based on a Domain Specific Language., , , и . EPEW, том 8168 из Lecture Notes in Computer Science, стр. 276-287. Springer, (2013)Streamlining progress-based derivations of concurrent programs., и . Formal Aspects Comput., 20 (2): 141-160 (2008)Early Fault Detection in DSLs Using SMT Solving and Automated Debugging., , и . SEFM, том 8137 из Lecture Notes in Computer Science, стр. 182-196. Springer, (2013)Static type checking without downcast operator.. Inf. Process. Lett., (2022)Reducing Adapter Synthesis to Controller Synthesis., , и . IEEE Trans. Serv. Comput., 5 (1): 72-85 (2012)Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS., , и . ATVA, том 4762 из Lecture Notes in Computer Science, стр. 347-361. Springer, (2007)Incremental Verification of Owicki/Gries Proof Outlines Using PVS., и . ICFEM, том 3785 из Lecture Notes in Computer Science, стр. 390-404. Springer, (2005)Reducing Code Duplication by Identifying Fresh Domain Abstractions., , , и . ICSME, стр. 569-578. IEEE Computer Society, (2018)Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations., , и . CoRR, (2015)Pitfalls in Applying Model Learning to Industrial Legacy Software., , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 121-138. Springer, (2018)