( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compliance, Functional Safety and Fault Detection by Formal Methods.

, , и . ISoLA (2), том 9953 из Lecture Notes in Computer Science, стр. 626-632. (2016)

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.

Christof Fetzer

Siegbert Fetzer

Albert Fetzer

Waltraud Fetzer

Irene Fetzer

 

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

Topic 8 Distributed Systems and Algorithms., , , и . Euro-Par, том 4641 из Lecture Notes in Computer Science, стр. 549. Springer, (2007)Improving Program Correctness with Atomic Exception Handling., и . J. Univers. Comput. Sci., 13 (8): 1047-1072 (2007)Capacity planning for dependable services., , , , , и . Theor. Comput. Sci., (октября 2023)Rearchitecting DNS., , и . IICS, том P-165 из LNI, стр. 397-408. GI, (2010)SpecFuzz: Bringing Spectre-type vulnerabilities to the surface., , , и . USENIX Security Symposium, стр. 1481-1498. USENIX Association, (2020)A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic., , , , , , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 480-501. Springer, (2022)Vallum-Med: Protecting Medical Data in Cloud Environments., , , , , и . CIKM, стр. 3397-3400. ACM, (2020)TCP Server Fault Tolerance Using Connection Migration to a Backup Server., , и . DSN, стр. 373-382. IEEE Computer Society, (2003)Fifth Workshop on Hot Topics in System Dependability (HotDep 2009)., и . DSN, стр. 594-595. IEEE Computer Society, (2009)Practical Aspects of IP Take-Over Mechanisms., и . WORDS Fall, стр. 250-254. IEEE Computer Society, (2003)