( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SpecifyThis - Bridging Gaps Between Program Specification Paradigms.

, , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 3-6. Springer, (2022)

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.

Wolfgang Ahrendt

Jens Ahrendt

Dirk Ahrendt

Adolf Ahrendt

Achim Ahrendt

 

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

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors., , и . VORTEX@ECOOP/ISSTA, том 302 из EPTCS, стр. 32-46. (2018)The KeY tool., , , , , , , , , и 1 other автор(ы). Softw. Syst. Model., 4 (1): 32-54 (2005)Formal Development of Safe Automated Driving Using Differential Dynamic Logic., , и . IEEE Trans. Intell. Veh., 8 (1): 988-1000 (января 2023)SpecifyThis - Bridging Gaps Between Program Specification Paradigms., , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 3-6. Springer, (2022)Functional Verification of Smart Contracts via Strong Data Integrity., и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 9-24. Springer, (2020)The KeY tool, , , , , , , , , и 1 other автор(ы). Software and Systems Modeling, 4 (1): 32--54 (февраля 2005)COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1., , , , , , , , , и 2 other автор(ы). CoRR, (2019)A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases., , , и . CoRR, (2022)Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study., , и . FMICS, том 11687 из Lecture Notes in Computer Science, стр. 143-159. Springer, (2019)TriCo - Triple Co-piloting of Implementation, Specification and Tests., , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 174-187. Springer, (2022)